diff options
| -rw-r--r-- | docs/maintainer-notes.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/maintainer-notes.html b/docs/maintainer-notes.html index 9858201..354dece 100644 --- a/docs/maintainer-notes.html +++ b/docs/maintainer-notes.html @@ -180,6 +180,13 @@ on. </pre> </li> +<li>If a branch is removed from the server it will stay locally. You can get of +any stale remote branches locally by executing: +<pre> +<b>% git remote prune origin</b> +</pre> +</li> + </ol> <h3><a name="test">3.3 Test specific branch</a></h3> |