Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
NikkiA
on July 23, 2019
|
parent
|
context
|
favorite
| on:
GitHub is down
Merge the PR on github, pull to your local copy (now you're ahead of one of the urls of origin), push (and it should just push to the origin that's behind)
If you have any discrepencies in between them, you'll need to merge locally of course.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
If you have any discrepencies in between them, you'll need to merge locally of course.