developers_guide/git.rst: add a 'Pull Requests merge criteria' section #5564

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (html)	1m 44s
build (pdf)	5m 37s
	7m 21s