nus-cs2113-AY2021S2 / forum

5 stars 0 forks source link

PR merge #39

Open JoviYeung92 opened 3 years ago

JoviYeung92 commented 3 years ago

Hi, when we do a PR merge on GITHUB they will prompt to delete away the old branch . Is it okay if we delete that old branch ?

okkhoy commented 3 years ago

(Edited) In the context of this module, please don't delete the branch. Outside of the module you are free to do what your workflow specifies.