...
| Info |
|---|
If you don't have any changes that need to be pushed from your local repository, you could just delete the local repository folder and do a fresh clone of the remote repository. Reference: Git Repository |
Related articles
| Content by Label | ||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
...
| Page properties | ||
|---|---|---|
| ||
|