The Portal code is now kept in git once again.