3 ms·

Wait, they name mangled "push"?

• jpgrayson 5y ago
  Obviously `stg push` and `git push` are different commands, but to your point, yes, they have very different meanings and the overlap is somewhat unfortunate. StGit uses push/pop in the sense of pushing and popping patches to/from the patch stack. An alternative such as apply/unapply would be valid and could be aliased, but this ship sailed 16 years ago (StGit has been around almost as long as Git) and so is unlikely to change.
• Too 5y ago
  In true git fashion. Every command should have at least two meanings depending on when and where you run it.