Stallman wants Git commit and push to be a single operation · HackerTrans