Pull req merging throws server error

I am trying to merge one file of different branch and it is showing server error

https://www.githubstatus.com/
Github is down right now…

1 Like