Having some sort of repo config file (either account-wide or in the .github folder) would be very helpful.