If you aren't certain, you could create tags and delete branches. Just a
thought, as a mechanism to minimize the number of branches in the repo.
-Rob
> On Apr 30, 2016, at 10:19 AM, Gilles wrote:
>
> Hi.
>
> $ git branch -r
> origin/3.6-release
> origin/3.6.1-release
> origin/EXPERIMENTAL
Hi.
$ git branch -r
origin/3.6-release
origin/3.6.1-release
origin/EXPERIMENTAL
origin/HEAD -> origin/master
origin/MANTISSA
origin/MATH-1153
origin/MATH_1_1
origin/MATH_1_1_RC1
origin/MATH_1_3
origin/MATH_2_0
origin/MATH_2_X
origin/MATH_3_X
origin/complex-and-primitive-
