branches on github repo

[Burcin Erocal]

Hi,

we were looking at the github repository [1] for LELA with Bjarke just
now. There are 4 branches,

- master
- LELA-Spielwiese
- lela-minor-fixes
- build_system_reorg

[1] https://github.com/Singular/LELA


I can't get github to show me the differences between these properly,
but it seems that LELA-Spielwiese and lela-minor-fixes were merged into
master. Master is ahead by some commits, mostly by Bradford, and not
missing any. Can we remove these branches?

What is with the build-system-reorg? Is it abandoned? What was the
motivation for it in the first place? Can we do something to complete
it (says the guy who knows almost nothing about autotools)?


Thanks.

Cheers,
Burcin

[christian eder]

Hi,

as far as I know "build_system_reorg" is obsolete and everyting from
"LELA-Spielwiese" and "lela-minor-fixes" should be in "master".
But we should wait for Bradford to respond before we remove any branch.

Christian

--
gpg: http://key-server.org:11371/pks/lookup?op=get&search=0x261A30500EFD3F1F

[Bradford Hovinen]

Hello all,

I wasn't aware of the other branches and haven't done any work with
them. If there's any work in the other branches which is relatively
complete and stable and intended for inclusion in master, it should be
moved. If anyone wants a "Spielwiese" for just fiddling around, I'm
okay with keeping that. If not and there's nothing waiting in those
branches to be completed and moved over, then I'm in favour of
removing them.

-Bradford

2012/9/11 Burcin Erocal <bur...@erocal.org>: