[plt-dev] pushes & pulls & building

Eli, could we please have a coherent description of the workflow you
want us to follow, both for mainline work and for feature branches - on
weg page?  (Maybe it's somewhere and I missed it in the jumble of
messages.)  Last thing I'm aware of is this:

http://tmp.barzilay.org/git.txt

And it still says:

!!! TODO (this is just to give a basic idea since I'm crashing.)

git clone git:plt
cd plt
...edit some/files...
git commit -a some/files
git push
git pull

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla