[Users] Checking out multiple git branches but defaulting to master

[Yosef Zlochower]

Thanks. Perhaps a DEFAULT_BRANCH
option would be useful.

Eric Seidel wrote:
> Hi Yosef,
> 
>> Right now, the repository will default to the last
>> branch listed in !REPO_BRANCH, which apparently
>> cannot be set to master.
> 
> 
> Thanks for pointing this out. You should certainly be able to track a few branches while remaining on the master branch. I'll add a ticket for the issue and look into it later today after class :)
> 
> Eric


-- 
Dr. Yosef Zlochower
Center for Computational Relativity and Gravitation
Assistant Professor
School of Mathematical Sciences
Rochester Institute of Technology
85 Lomb Memorial Drive
Rochester, NY 14623

Office:74-2067
Phone: +1 585-475-6103

yosef at astro.rit.edu

CONFIDENTIALITY NOTE: The information transmitted, including
attachments, is intended only for the person(s) or entity to which it
is addressed and may contain confidential and/or privileged material.
Any review, retransmission, dissemination or other use of, or taking
of any action in reliance upon this information by persons or entities
other than the intended recipient is prohibited. If you received this
in error, please contact the sender and destroy any copies of this
information.