- [ ] Generating the github token is not documented so well, we need to tell them which access rights they need to use and maybe more - [ ] Renaming `gitignore` is not possible - [ ] Pushing your changes from within GitHub Codespaces was not possible, no prompt appears to enter username/password