logoalt Hacker News

recursiveyesterday at 9:50 PM1 replyview on HN

I'm not following your line of questioning. Without ever using github as an online editing platform, you can do one push with two new commits.


Replies

Brian_K_Whiteyesterday at 10:04 PM

Commits are not expensive, pushes are. You can do any number of commits before you do one push, unless you are editing online, in which case every act is it's own commit & push.

You can rig up a local ide to pathologically commit+push per save, but you can do literally anything, so what you can do is immaterial.

show 3 replies