Hello Crunch developers, Apache is offering a voluntary (but soon to be mandatory) migration of the git repos from git-wip-us (where Crunch is hosted now) to http://gitbox.apache.org, with the option to use Github instead via: https://reference.apache.org/committer/github
I'm happy to run with this work w/the infra team, assuming there is consensus that developing with Gitbox and/or Github is better in virtually every way than developing with git-wip-us. (Please note that no one will be forced to use Github for pushes if they don't want to, but I don't think there is any option to keep using git-wip-us beyond the end of January 2019.) Please feel free to respond to the thread with any questions; I'll leave this open for a few days before declaring it official in the absence of any objections. Thanks! And happy holidays to you and yours! Josh