hc-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Francois-Xavier Bonnet <francois-xavier.bon...@centraliens.net>
Subject How to merge a pull request on GitHub
Date Tue, 05 Aug 2014 08:12:34 GMT
Hi all,

How do we merge a pull request on GitHub? What is the process? Is there a
guideline somewhere? Who has the rights?

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