I just saw that the git project is considering changing the default behavior of the `git push` command and are taking feedback on the potential change.
In case anyone is interested, here is the call for feedback: https://lwn.net/Articles/487131/ Cheers, Asumu _________________________ Racket Developers list: http://lists.racket-lang.org/dev