Re: Git repo on github
| Newsgroups | gmane.comp.gnu.gnucap.devel |
|---|---|
| Message-ID | <CABYfvgDvUpqDu_-Jv3LDM9UdpJ35E7kVoWxHUfRaNmuZ+cFoPQ@mail.gmail.com> |
On Thu, May 24, 2012 at 10:08 AM, Felix Salfelder <[email protected]> wrote: > i've thought about that. while its a good idea to have another backup > its probably not useful to mirror the experimental and stub branches. > first of all, because i tend to rebase them from time to time. Yeah, you may be right about that. Fine. > (of course i wont lock down tool. so if theres anything you'd like to > pick, go ahead.) Of course. Sure :) -- Savant Krishna | Junior Undergraduate | Electrical Engineering | IIT Bombay