I have a repo Test
. GitHub informed me that user woo27
, who forked my repo Test
, has done a pull-request, and these are the official recommended commands (see screenshot below) to merge:
git checkout -b woo27-master master
git pull https://github.com/woo27/Test.git master
git checkout master
git merge --no-ff woo27-master
git push origin master
I did exactly these commands, and merged. I works, but then woo27
doesn't appear in the contributor list, nor in the list of people who modified the files. Why? How to solve this?
(This has nothing to do with a 1-day delay, I have already had the same problem before)