Skip to content

Commit 9f49cc5

Browse files
Add GitHub tips and tricks article
1 parent 7ee8429 commit 9f49cc5

File tree

2 files changed

+24
-6
lines changed

2 files changed

+24
-6
lines changed

contributor-guide/contributor-guide-index.md

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -18,15 +18,17 @@ ms.author: tysonn
1818

1919
## Authoring articles: tools, processes, guidance
2020

21-
- [Tools and setup for authoring in GitHub](tools-and-setup.md)
22-
- [Git commands for creating a new article or updating an existing article](git-commands-for-master.md)
21+
- Git and Git-adjacent
22+
- [Tools and setup for authoring in GitHub](tools-and-setup.md)
23+
- [Git commands for creating a new article or updating an existing article](git-commands-for-master.md)
24+
- [How to undo almost anything with Git (GitHub blog)](https://github.com/blog/2019-how-to-undo-almost-anything-with-git)
25+
- [Pull request etiquette and best practices for Microsoft contributors](contributor-guide-pull-request-etiquette.md)
26+
- [Quality criteria for pull request review](contributor-guide-pr-criteria.md)
27+
- [Pull request comment automation](contributor-guide-pull-request-comments.md)
28+
- [GitHub tips and tricks](github-tips-and-tricks.md)
2329
- [File names and locations for Bot Framework technical articles](file-names-and-locations.md)
2430
- [Linking guidelines](create-links-markdown.md)
2531
- [Retire or rename an article](retire-or-rename-an-article.md)
26-
- [How to undo almost anything with Git (GitHub blog)](https://github.com/blog/2019-how-to-undo-almost-anything-with-git)
27-
- [Pull request etiquette and best practices for Microsoft contributors](contributor-guide-pull-request-etiquette.md)
28-
- [Quality criteria for pull request review](contributor-guide-pr-criteria.md)
29-
- [Pull request comment automation](contributor-guide-pull-request-comments.md)
3032

3133
<!-- [Git commands for staging an article on the internal preview site](./git-commands-for-sandbox.md)-->
3234

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
# Tips and tricks for working with GitHub
2+
3+
## GitHub Desktop
4+
5+
### To make sure your local copy is completely in sync with the remote
6+
7+
Sometimes your local copy of a repo gets so out of sync with the one on GitHub, it's just easier to re-clone the repository.
8+
9+
1. Make sure any local changes you want to keep are stashed outside of the local copy of the repo. If you don't have any work in progress, this may not be necessary.
10+
1. Delete the local root directory for the repo.
11+
1. Open GitHub Desktop and try to set the current repo to the one in question.
12+
1. GitHub Desktop will tell you it can't find the local folder and ask you if you want to re-clone the repo.
13+
1. Re-clone the repo. This may take a minute or two as the app downloads all the files from the remote GitHub repo.
14+
1. If you stashed any changes:
15+
1. Select the branch you had been working in.
16+
1. Fetch, and copy your changes back into the local repo.

0 commit comments

Comments
 (0)