mirror of
				https://github.com/sharkdp/bat.git
				synced 2025-10-31 07:04:04 +00:00 
			
		
		
		
	Refer to CONTRIBUTING in changelog workflow
This commit is contained in:
		| @@ -29,5 +29,5 @@ jobs: | ||||
|           ADDED=$(git diff -U0 "origin/${PR_BASE}" HEAD -- CHANGELOG.md | grep -P '^\+[^\+].+$') | ||||
|           echo "Added lines in CHANGELOG.md:" | ||||
|           echo "$ADDED" | ||||
|           echo "Grepping for PR info:" | ||||
|           echo "Grepping for PR info (see CONTRIBUTING.md):" | ||||
|           grep "#${PR_NUMBER}\\b.*@${PR_SUBMITTER}\\b" <<< "$ADDED" | ||||
|   | ||||
		Reference in New Issue
	
	Block a user