Update 'tools/sync_doc_repo.py'
This commit is contained in:
		@ -62,7 +62,7 @@ def process_repositories(args, service):
 | 
			
		||||
        if repo["type"] == 'gitea':
 | 
			
		||||
            repo_url = (
 | 
			
		||||
                f"ssh://git@gitea.eco.tsi-dev.otc-service.com:2222/"
 | 
			
		||||
                "{repo['repo']}"
 | 
			
		||||
                f"{repo['repo']}"
 | 
			
		||||
            )
 | 
			
		||||
        elif repo["type"] == 'github':
 | 
			
		||||
            repo_url = f"git@github.com:/{repo['repo']}"
 | 
			
		||||
@ -97,7 +97,7 @@ def process_repositories(args, service):
 | 
			
		||||
        if args.document_type and doc["type"] != args.document_type:
 | 
			
		||||
            logging.info(
 | 
			
		||||
                f"Skipping synchronizing {doc['title']} "
 | 
			
		||||
                "due to the doc-type filter.")
 | 
			
		||||
                f"due to the doc-type filter.")
 | 
			
		||||
            continue
 | 
			
		||||
        if doc.get("environment"):
 | 
			
		||||
            logging.info(
 | 
			
		||||
 | 
			
		||||
		Reference in New Issue
	
	Block a user