News for hackers. Stuff that matters.

morleyk

Re:What comes after Git on Wednesday July 06, 2022 @08:28PM (#32008602)
I would just delete the branch after merge to the main and then create a new branch from main.