as planed we'll start the migration to GitLab today. This means that the Eigen's bitbucket project (repository+pull-requests) won't be accessible within a few minutes. Same for our bugzilla that will be turned as read-only.
Wish me good luck and see you soon for announcing the availability of the new git repository!