94a68c4
Remove outdated process-git-requests The script lives in the releng git tree now; the one here was just confusing.