Problems after editing via github web gui