of the rst plugin.
* git: When updating from remote, use git pull --prune, to avoid possible
errors from conflicting obsolete remote branches.
of the rst plugin.
* git: When updating from remote, use git pull --prune, to avoid possible
errors from conflicting obsolete remote branches.