Mention GitLab as an alternative to GitHub#2

robvl66 wants to merge 1 commit intomikecroucher:mastermikecroucher/Git_Academic_Benefits:masterfrom

robvl66:masterCopy head branch name to clipboard