Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • Project Juggler Project Juggler
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 33
    • Issues 33
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 26
    • Merge requests 26
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Metrics
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • EIC
  • Project JugglerProject Juggler
  • Merge requests
  • !434

fix: set correct DockerHub registry user and GitHub registry

  • Review changes

  • Download
  • Patches
  • Plain diff
Merged Wouter Deconinck requested to merge docker-hub-registry-user into master Jul 29, 2022
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 1

These were changes made necessary by containers/eic_container@9b81d13d but apparently we git clone that repository here and need to provide the correct environment for it...

Edited Jul 29, 2022 by Wouter Deconinck
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: docker-hub-registry-user