concerted-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Roman Shaposhnik <ro...@shaposhnik.org>
Subject Re: Merging github PRs
Date Mon, 26 Oct 2015 15:40:47 GMT
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*

Mime
View raw message