Hi Alexander,
On Sun, Jan 21, 2018 at 01:53:06AM +0100, Alexander Huemer wrote:
I can of course discard the history, but I don't think that is beneficial.
No, let's keep history.
What about first pushing directly into git and then continuing via gerrit?
Yes, makes sense. As I don't seem to have a key of yours on record, and to avoid various other manual configuration steps: Is it possible for you to simply push it somewhere public, so I can fetch it from there, and use that as initial state for the osmocom.org repo? Thanks.