fixing github problem