Comment by mosselman

Hosted on github. Ah the irony. Feels like a missed opportunity.

On another note no have been using the GitHub cli client and it is great to be able to quickly create a PR from where I did the last push.