Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Librem5
developer.puri.sm
Merge requests
!118
Merged
Created
Dec 27, 2018
by
Guido Gunther
@guido.gunther
Owner
Options
gitlab-ci: Fix deployment URL
Overview
0
Commits
1
Pipelines
2
Changes
1
This makes us use the correct URL at
https://source.puri.sm/Librem5/developer.puri.sm/environments/
