Ignore .git directory (will be deleted otherwise) (#88)
Co-authored-by: Henry Pauli <henry@mixict.nl>
This commit is contained in:
		
							parent
							
								
									a61055939e
								
							
						
					
					
						commit
						c17afe47c4
					
				
							
								
								
									
										2
									
								
								.github/deploy_wiki.sh
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/deploy_wiki.sh
									
									
									
									
										vendored
									
									
								
							| @ -56,7 +56,7 @@ tmp_dir=$(mktemp -d -t ci-XXXXXXXXXX) | |||||||
| ) | ) | ||||||
| 
 | 
 | ||||||
| debug "Rsync contents of $WIKI_PATH" | debug "Rsync contents of $WIKI_PATH" | ||||||
| rsync -q -a --delete "$GITHUB_WORKSPACE/$WIKI_PATH/" "$tmp_dir" | rsync -q -a --delete --exclude=.git "$GITHUB_WORKSPACE/$WIKI_PATH/" "$tmp_dir" | ||||||
| 
 | 
 | ||||||
| if [ ! -r "$tmp_dir/Home.md" ]; then | if [ ! -r "$tmp_dir/Home.md" ]; then | ||||||
|     debug "Copy README.md to wiki/Home.md" |     debug "Copy README.md to wiki/Home.md" | ||||||
|  | |||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user
	 Henry
						Henry