The 

3f42f5c9aac2f8181218a0a394ffe7ad7c1e7be7

 branch of 

workflow

 does not contain the path 

docs/src/contributing/submitting-a-pull-request.md.