Re: Git repo on github

Hi Savant.

On Wed, May 23, 2012 at 04:37:54AM +0530, [email protected] wrote:
> development branches (adms, verilog-bm etc) from [2] into the github repo

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.

gnucap-uf has become the branch i no longer mess with. for now, your
github repo might be better off without the others. also i've just
merged the adms branch into gnucap-uf so you can pull that and safely
remove adms.

(of course i wont lock down tool. so if theres anything you'd like to
pick, go ahead.)

regards
felix