A sigh of relief, turns out it was on the GitHub end that having a downtime

A friend of mine quickly told me his complaint that for the past minutes, he can't pull from his repo and the company's repository. Thankfuly, after few hours past, the Pull Requests service is back online.