Fix GitHub merge command not working as intended