Closed nunoguedelha closed 1 year ago
Merging!
@S-Dafarra , just a minor suggestion...
in order to have a linear history, more readable, and in the case of small increments of code (should usually be the case in continuous integration and good code practice), I suggest you avoid merge commits. After the branch is ready for merge, you can get such result as follows (you probably already know this, so sorry if this is redundant):
master
branch,git merge --ff-only <dev-branch-name>
,git push origin master
,then just clean the branch locally and remotely. Always remember to have the master
branch protected in your repos (already the case here a priori).
Thanks a lot for the suggestion!
Fixes #147 .
This is a tentative fix.