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

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

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

Jeff MAURY-2
A pr has its own branch (refs/pull/prid/head)
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
>
Reply | Threaded
Open this post in threaded view
|

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

Hervé BOUTEMY
I suppose we're interested in code proposal from the 23 still open PRs, not
the PR explanations nor the 117 closed ones.

perhaps reuse some logic from migrate-plugins.sh [1]

once you have cloned the full repo with the updated content, the critical
command is:

# Remove everything except the path belonging to the module
git filter-branch --subdirectory-filter ${prefix}/


HTH

Hervé


[1] https://svn.apache.org/viewvc/maven/sandbox/trunk/scripts/git/migrate-plugins.sh?revision=HEAD&view=markup

Le mardi 20 mars 2018, 23:38:32 CET Jeff MAURY a écrit :

> A pr has its own branch (refs/pull/prid/head)
> 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


---------------------------------------------------------------------
To unsubscribe, e-mail: [hidden email]
For additional commands, e-mail: [hidden email]

Reply | Threaded
Open this post in threaded view
|

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

Hervé BOUTEMY
In reply to this post by Jeff MAURY-2
I suppose we're interested in code proposal from the 23 still open PRs, not
the PR explanations nor the 117 closed ones.

perhaps reuse some logic from migrate-plugins.sh [1]

once you have cloned the full repo with the updated content, the critical
command is:

# Remove everything except the path belonging to the module
git filter-branch --subdirectory-filter ${prefix}/


HTH

Hervé


[1] https://svn.apache.org/viewvc/maven/sandbox/trunk/scripts/git/migrate-plugins.sh?revision=HEAD&view=markup

Le mardi 20 mars 2018, 23:38:32 CET Jeff MAURY a écrit :

> A pr has its own branch (refs/pull/prid/head)
> 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

---------------------------------------------------------------------
To unsubscribe, e-mail: [hidden email]
For additional commands, e-mail: [hidden email]