New candidate JEP: 369: Migrate to GitHub
Mario Torre
neugens at redhat.com
Fri Nov 22 15:00:59 UTC 2019
On Fri, Nov 22, 2019 at 3:45 PM Kevin Rushforth
<kevin.rushforth at oracle.com> 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.
Cheers,
Mario
--
Mario Torre
Associate Manager, Software Engineering
Red Hat GmbH <https://www.redhat.com>
9704 A60C B4BE A8B8 0F30 9205 5D7E 4952 3F65 7898
More information about the discuss
mailing list