How to manage issues
Create issues on GitHub
Create new branch with the following command (XX is the issue number and YYYY is the abstract):
git pull git checkout -b XX_YYYY
Note that this command create a branch from the current branch.
Write and commit code!
Commit the final code with the following command
git commit -m "brah brah brah ... Close #XX"
Merge the branch into the "master" branch
git checkout master git merge XX_YYYY git push origin master git branch -d XX_YYYY
Note that git shows errors if the merge is failed.