Push git before making github release
