3 ms·Can we merge from GitHub UI without rewriting the commit already?by the_gipsy 6mo agoCan we merge from GitHub UI without rewriting the commit already?