Unfortunately, we lost some old, long unsused repositories recently. You can restore them by creating a new, empty repository in the project view and then pushing there using something like for x in $(git branch -r | grep -v HEAD); do git push origin $x:refs/heads/${x#*/}; done; git push --tags

The SSH username for accessing EduGit changed: Please update your remotes to use git@ instead of gitlab@.

Overall statistics

  • Total: 1 pipeline
  • Successful: 0 pipelines
  • Failed: 1 pipeline
  • Success ratio: 0%

Commit duration in minutes for last 30 commits

Pipelines charts

  success   all

Pipelines for last week (13 Sep - 20 Sep)

Pipelines for last month (21 Aug - 20 Sep)

Pipelines for last year