Re:Git Commands You Probably Do Not Need
by mbork_pl on Monday January 23, 2023 @12:20PM
(#34491862)
Good point, though I cannot not mention that you seem to have reinvented (a portion of) Magit, only with a worse UI... ;-)
[ Parent
| on HN ]