Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • L librem5-base
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 23
    • Issues 23
    • 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
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Librem5
  • librem5-base
  • Merge requests
  • !20

dev-tools: Add librem5-devtools-check

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Guido Gunther requested to merge guido.gunther/librem5-base:librem5-devkit-check into master Dec 17, 2018
  • Overview 0
  • Commits 1
  • Pipelines 1
  • Changes 1

librem5-devtools will not end up on the phone release image so it's o.k. to have devkit specific stuff in there.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: librem5-devkit-check