Subject: [git] Migration to git COMPLETE

Sorry, i might have missed in the many mails, but what exactly do I have
to do, do be able to commit? I can directly commit using the github web
UI, but CLI fails with authentication errors

Robert Munteanu wrote
Carsten Ziegeler
Adobe Research Switzerland