Add GitHub merge how-to