Issus and their pull request

[AdamKITZ]

This is just some information.

Please note that it's possible, to assign any issue to an pull request.
For example:
You just created a new issue that says players must not move in first 5 seconds of gameplay.
Now you developed something and commit your changes.

Inside github, where you would merge the pull request, on the right side of the screen there is a category called
"Development".
Here you can assign any issue and on merge, this issue will be closed automatically.