Stallman wants Git commit and push to be a single operation | Hacker News Reader