GitHub problem fixed

I deleted my branch and pulled a new one.