New candidate JEP: 369: Migrate to GitHub

Mario Torre neugens at
Fri Nov 22 15:00:59 UTC 2019

On Fri, Nov 22, 2019 at 3:45 PM Kevin Rushforth
<kevin.rushforth at> wrote:
> You will need a personal fork of the repo, and you need to submit a pull
> request, but you can do that without ever visiting the GitHub web UI,
> using only the Skara command line tools, if you like.
> Workflow could be:
> file bug
> create a branch in your personal fork
> push fix to your branch of your fork
> git pr create ...
> <review happens, comments are addressed, approval(s) are given, etc>
> git pr integrate

Maybe I'm really misunderstanding, but this means that if I'm working
on 5 backports concurrently, I need to have 5 public branches where to
push my fixes before I can integrate them into the main repository...

This is going to be interesting.

Mario Torre
Associate Manager, Software Engineering
Red Hat GmbH <>
9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898

More information about the discuss mailing list