concerted-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Atri Sharma <atri.j...@gmail.com>
Subject Merging github PRs
Date Mon, 26 Oct 2015 15:22:03 GMT
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
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message