Skip to content
GitLab
    • GitLab: the DevOps platform
    • Explore GitLab
    • Install GitLab
    • How GitLab compares
    • Get started
    • GitLab docs
    • GitLab Learn
  • Pricing
  • Talk to an expert
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
    • Switch to GitLab Next
    Projects Groups Snippets
  • Sign up now
  • Login
  • Sign in / Register
  • Eindhoven Eindhoven
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 24
    • Issues 24
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 5
    • Merge requests 5
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • AppsembleAppsemble
  • EindhovenEindhoven
  • Merge requests
  • Open 1
  • Merged 9
  • Closed 0
  • All 10
Subscribe to RSS feed
  • Redirect user to make reservations page if there are no reservations
    !31 · created Jun 22, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • Approved
    • 0
    updated Jun 27, 2022
  • Align workplace in table to the right
    !30 · created Jun 22, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • 0
    updated Jun 24, 2022
  • Set end time for ics
    !29 · created Jun 22, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • Approved
    • 0
    updated Jun 22, 2022
  • Apply suggested CSS changes
    !28 · created Jun 22, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • Approved
    • 0
    updated Jun 22, 2022
  • Fix workplace capitalization and pluralization issues
    !27 · created Jun 22, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • 0
    updated Jun 22, 2022
  • Bump version and rename remap
    !26 · created Jun 22, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • 0
    updated Jun 22, 2022
  • Include script for updating workplaces
    !25 · created Jun 17, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • Approved
    • 4
    updated Jun 22, 2022
  • Update several issues
    !23 · created Jun 15, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • 7
    updated Jun 16, 2022
  • Update translations to match what Peter updated it to
    !22 · created Jun 15, 2022 by Wessel Kuipers   Juni 14 - June 27
    • MERGED
    • 0
    updated Jun 15, 2022