About merging Pull Request workflow

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi, Current workflow described in https://wiki.php.net/vcs/gitworkflow#merge_a_pull_request Problem, git history only give info about a "merge" Ex, after merging 1278: http://git.php.net/?p=php-src.git;a=commit;h=eef762d576e7744d6e0c8d6a3f997fe911b2dc34 Another simple workflow could be 1/ Download the patch https://github.com/php/php-src/pull/1278.patch 2/ apply it git am 1278.patch 3/ close the PR from https://qa.php.net/pulls This preserve credits to the authors and give a better history. What do you think ? Remi -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iEYEARECAAYFAlVdhk8ACgkQYUppBSnxahhKuACfbXzDxPsZJTyfwLtyoTALPVhs dbUAn2kk9vlD//ZQvea5Me1KU2JMgjdQ =1Xi5 -----END PGP SIGNATURE-----