Re: any github/git magic to migrate pull requests?

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: any github/git magic to migrate pull requests?

Olivier Lamy
On Wed, 21 Mar 2018 at 08:38, Jeff MAURY <[hidden email]> wrote:

> A pr has its own branch (refs/pull/prid/head)
>

sure but in this case the path is different (was svn plugins tree) so the
branch will not apply directly with the the new tree.

So it's easy to retrieve them but don't know how to recreate them on the

> target repository
>
> Hope this helps
> Jeff
>
> Le mar. 20 mars 2018 à 22:06, Olivier Lamy <[hidden email]> a écrit :
>
> > Hi
> > We have a lot of pr here https://github.com/apache/maven-plugins/pulls
> >
> > any ideas how to migrate those pr to their new git plugin repo?
> >
> > Cheers
> > --
> > Olivier Lamy
> > http://twitter.com/olamy | http://linkedin.com/in/olamy
> >
>


--
Olivier Lamy
http://twitter.com/olamy | http://linkedin.com/in/olamy