Heads up,
If no problems are found by Monday (T+3) then I will notify infra to
continue with the migration process.
Please take a little time to review the repo and reply to the list if
you have any objections or remarks.
Regards,
Ivan
On 30 November 2012 08:09, Ivan Habunek wrote:
> Hi all,
>
+1
I did not find any problems with the repo, except already known problem
with the duplicate tags. I reviewed some of the history commits with 'git
gui' tool and everything seemed fine.
Maybe we should have a look at this:
https://help.github.com/articles/dealing-with-line-endings#platform-all, i
