This updates the GitHub adapter for the new Markup GitHub uses for labels on issues. With this change, issues labelled as "bug" should again result into a branch name like bug/xyz/.
On the side, this also removes the code for selecting issues on GitHub project pages. GitHub projects are entities on the user/organization now, not part of a repository. If we want to support them, it needs to be done differently. There's a follow up issue for that #403.
This updates the GitHub adapter for the new Markup GitHub uses for labels on issues. With this change, issues labelled as "bug" should again result into a branch name like
bug/xyz/.On the side, this also removes the code for selecting issues on GitHub project pages. GitHub projects are entities on the user/organization now, not part of a repository. If we want to support them, it needs to be done differently. There's a follow up issue for that #403.