Git Notes

Scenario: deleted a file on GitHub, still have it locally I think this is what worked: Create a local branch that has the deleted file, make a change, commit and push. Submit a pull request, doesn't work b/c conflict, follow instructions to resolve conflicts.