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