Can we merge from GitHub UI without rewriting the commit already?