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.

Developers

Kazunori Sakamoto
Kiyofumi Shimojo
Ryohei Takasawa