Hi folks! Per the email from infra "[NOTICE] Mandatory relocation of Apache git repositories on git-wip-us.apache.org" ( https://s.apache.org/0sfe ) it looks like the future of interacting directly with PRs is coming sooner rather than later.
I think we should move to gitbox ASAP rather than wait for the crunch. If we hit a rough spot we're more likely to get some help when things aren't busy. Maybe we wait until our open RCs close so that folks that need to tag those releases don't need to update their workflow first? Presuming everyone still agrees that we get value out of JIRA, I think we need update our committer guidelines to expressly remind folks to check on things like commit messages before merging PRs, as well as to ensure folks use the "squash and merge" option to keep the git history less complicated. Probably a good time to add text about the importance of backporting, since there isn't a github UI for doing that.
