|
| From: | Eli Zaretskii |
| Subject: | Re: dynamic modules progress |
| Date: | Tue, 09 Jun 2015 18:45:20 +0300 |
> From: Stephen Leake <address@hidden> > Date: Tue, 09 Jun 2015 10:09:47 -0500 > > Which leaves the git question; what is the magic incantation for > deleting a branch? Try git push origin --delete BRANCH
| [Prev in Thread] | Current Thread | [Next in Thread] |