github-pr-coverage-status-plugin
github-pr-coverage-status-plugin copied to clipboard
#42 #35 #28 set/get master coverage by repo URL instead of PR URL