diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-25 04:50:08 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-25 04:50:08 +0100 |
| commit | d73a2628310ce01f98bf07cdf6d5d30ccf807a8a (patch) | |
| tree | f08615ad8f1e86e828e8e1629ad9da2d852dba89 /reproduce/analysis/make/verify.mk | |
| parent | 7d2664212f1a22fbf8680855e77a316b94282b2f (diff) | |
IMPORTANT: Primary Maneage repositories are now under maneage.org
Until now, the primary Maneage URLs were under GitLab, but since we now
have a dedicated URL and Git repository, its better to transfer to this as
soon as possible. Therefore with this commit, throughout Maneage, any place
that Maneage was referenced through GitLab has been corrected.
Please correct your project's remote to point to the new repository at
`git.maneage.org/project.git', and please make sure it follows the
`maneage' branch. There is no more `master' branch on Maneage.
Diffstat (limited to 'reproduce/analysis/make/verify.mk')
0 files changed, 0 insertions, 0 deletions