Closed dbeyer closed 2 years ago
This was done and the repository is now available https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.
To update your git checkout use
git remote set-url origin git@gitlab.com:sosy-lab/benchmarking/sv-benchmarks.git
Please note that at the same time the default branch was renamed to main
.
TL;DR: Please perform the steps in the item list below as soon as possible. Later on you have to adapt to a new repository location.
This repository will move to GitLab soon. In the past, the CI for this repository has caused a lot of effort, trouble, and necessity for workarounds (such as a GitLab mirror), and with Travis further restricting their services, this would increase. By migrating to GitLab we can keep using our existing CI definitions for GitLab CI and make use of advanced features like merge trains.
While we are at it, we will also rename the default branch of the repository to
main
, which is the new default in git, on GitHub and GitLab, etc.The existing repository will stay on GitHub permanently, but marked as "archived", read-only, and with a pointer to the new location. Everyone who has a fork or a local checkout of this repository will need to update their remote URL (
git remote set-url origin https://gitlab.com/...
) and change the branch name, or just do a fresh clone.Besides adjusting your local checkouts, we also need your collaboration now:
Because extensive valuable discussions have taken place in the issue tracker of this repo, and some of them are still open or might be referred to in the future, we want to have issues, comments, and PRs in the new repository belonging to the proper accounts of the involved people instead of some dummy user (i.e., not like here). The GitHub importer of GitLab supports this, but unfortunately only if the email address of your GitHub profile is public and matches an email address of your GitLab account. (The documented alternative did not work in our tests.)
So, please, if you have contributed to sv-benchmarks by creating issues, comments, reviews, or PRs in the past, we would be grateful if you could (if you don't already have this anyway)
We would like to perform the move soon (the earlier the better for the competition season), so please do this until October 1, 2021 (any timezone). After the move is finished, you can set your mail address to private again.
If you do not do this, all your contributions to the issues and PRs of this repo will be linked to a dummy account with a plain-text reference to your GitHub user name. Note that all this is only about issues etc., we won't change any commits of course. So you can associate your commits with your GitLab account as usual and independently from this.