diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-25 04:58:45 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-25 04:58:45 +0100 |
| commit | 8430c9a40e6fadf01fc6b863f777432898e54294 (patch) | |
| tree | ed819e2eb8bdd503abd4e7f25dcc9400831a4963 /reproduce/analysis/make/delete-me.mk | |
| parent | b336c13f5952664cabc9a05965c484223383e88f (diff) | |
Demonstration cloning URL set to https://git.maneage.org/project.git
Until now, we were using GitLab as the main Git repository of Maneage. But
today I finally setup our own Git repository under `git.maneage.org' and
enabled a CGit web interface for a simple and fast viewing of the commits
and changes.
Since this URL is under our own control, we can always ensure that it will
point to somewhere meaningful, on any server so in the long-run its much
better than publishing the paper an explicit reliance of `gitlab.com'.
Diffstat (limited to 'reproduce/analysis/make/delete-me.mk')
0 files changed, 0 insertions, 0 deletions