concerted-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Atri Sharma <atri.j...@gmail.com>
Subject Re: Merging github PRs
Date Mon, 26 Oct 2015 15:44:15 GMT
https://github.com/apache/incubator-concerted/pull/2

On Mon, Oct 26, 2015 at 9:10 PM, Roman Shaposhnik <roman@shaposhnik.org>
wrote:

> Give me an example of the patch you're trying to merge and I think I
> can help you with the steps.
> At least the steps I use in my workflow.
>
> Thanks,
> Roman.
>
> On Mon, Oct 26, 2015 at 10:22 AM, Atri Sharma <atri.jiit@gmail.com> wrote:
> > Hi Mentors,
> >
> > I am trying to merge github PRs into github mirror. The steps I followed
> > were:
> >
> > https://mahout.apache.org/developers/github.html
> >
> > However, this still does not allow me to merge requests per se i.e. it
> does
> > not show that the original author's branch was merged. Rather, it
> squashes
> > the commits and creates a single commit from committer.
> >
> > Please advice if there is a way we can merge PRs in a way that retains
> > original author's name automatically.
> >
> > --
> > Regards,
> >
> > Atri
> > *l'apprenant*
>



-- 
Regards,

Atri
*l'apprenant*

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message