Skip to content
Snippets Groups Projects

Stub for PR page

Merged Stub for PR page
pr-stub into master
Merged Uwe Jandt (DESY, HIFIS) requested to merge pr-stub into master

Only purpose is to provide a valid response (no 404) when accessing hifis.net/pr

Content, link, and layout to follow.

Edited by Uwe Jandt (DESY, HIFIS)

Merge request reports

Approval is optional

Merged by Uwe Jandt (DESY, HIFIS)Uwe Jandt (DESY, HIFIS) 3 years ago (Nov 4, 2021 12:25pm UTC)

Merge details

  • Changes merged into master with 5335f438 (commits were squashed).
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog