Skip to content
Snippets Groups Projects
Select Git revision
  • setup-libs
  • hr/grade-in-api
  • hj/submissionListingEdit
  • master default protected
  • hj/downloadButtonUi
  • mb/tunnel-sudo
  • hr/index-page
  • submissions-dashboard
  • hr/authorization-tests
  • hr/helm
  • 1.2.x protected
  • hr/restrict-ldap-access
  • otter_grader
  • hr/favicon
  • hr/enable-epfl-ldap
  • hr/full-auth-mechanism
  • hr/better-security
  • 1.0.x protected
  • mb/net_admin
  • hj/testingGuideline
  • 1.2.4
  • 1.2.3
  • 1.0.4
  • 1.0.1
  • 1.0.2
  • 1.2.2
  • 1.2.1
  • 1.2.0
  • 1.1.0
  • release/1.0.1-RC3 protected
  • release/1.0.1-RC2 protected
  • release/1.0.0 protected
  • release/1.0.0-RC1 protected
  • 0.1-staging-2 protected
  • 0.1-staging-1 protected
35 results
Compare
user avatar
Merge branch 'hr/unified-ping' into 'master'
Hamza Remmal authored 
Unify ping endpoints and have a single one

Closes #152

See merge request !304
f6f8ae2a
History
user avatar f6f8ae2a
History
Name Last commit Last update