From: Johannes Schindelin <hidden> Date: 2016-06-15 22:43:19
Hi,
On Tue, 5 Jun 2007, James Bowes wrote:
Introduce git-remote rm <name> which will:
- Remove the remote config entry for <name>.
- Remove any config entries for tracking branches of <name>.
- Remove any stored remote branches of <name>.