Christian is running a script that every 5 minutes mirrors the SF repo onto
the Github one - and only ever in that direction. This means any changes you
make using Github (merging, deleting branches) will have no permanent
effect. Your sf#396 branch is still present on both the SF and GH repos.
Ed-
Don't know if you saw my previous follow-up, but
I would be happy if you could help clean and squash the
lldf git commits. It was lots of stepwise work that
was only pushed to the lldf branch in case someone
else was working at the same time and wanted to see
where I was going.
I'm currentl
