News for hackers. Stuff that matters.

A comment on GitHub Actions could be so much better. Parent comment

Re:GitHub Actions could be so much better by devoutsalsa on Saturday September 23, 2023 @07:01AM (#37622119)
If I have to commit several trash commits, I’m happy to squash locally and then do

    git push —force-with-lease origin main
[ Parent | on HN ]
Re:GitHub Actions could be so much better by andix on Saturday September 23, 2023 @12:32PM (#37624777)
Not cool if you work in a bigger team. Especially if there are some people that are not super experienced with git, and have no idea how to fix that locally.

But if you're working alone or in a smaller team, that's perfectly fine.

[ Parent | on HN ]