Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • L librem5-devkit-tools
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 22
    • Issues 22
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 13
    • Merge requests 13
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Librem5
  • librem5-devkit-tools
  • Merge requests
  • !163

Drop devkit from check and host packages

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Guido Gunther requested to merge guido.gunther/librem5-devkit-tools:drop-devkit into master Jul 28, 2020
  • Overview 1
  • Commits 4
  • Pipelines 3
  • Changes 10

This isn't devkit specific since ages. librem5-devkit-base is more complicated so do that past 0.0.12. I'll tag a release once this is out so the Conflicts/Replaces work as expected.

WIP since it should be merged past !162 (merged)

Edited Aug 03, 2020 by Guido Gunther
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: drop-devkit