Pull requests #12
Description
@gast-ben, to couple our issues with the created code (notebooks, etc), I would like to adopt using pull requests.
Pull requests let you tell others about changes you've pushed to a branch in a repository on GitHub. Once a pull request is opened, you can discuss and review the potential changes with collaborators and add follow-up commits before your changes are merged into the base branch.
You would not need to rename notebooks after issues, and we can discuss the code in a separate space.