[Geany-devel] Just a stupid github question: How to merge a pull request with fast forward?

Frank Lanitz frank at xxxxx
Tue Dec 13 08:24:15 UTC 2011

Hi folks,

See question from subject line. How can I merge a pull request without
adding a new commit stating the merge? Is there some kind of ff or
cherry-pick available through front end?


More information about the Devel mailing list