Assorted improvements I had sitting here for some time (!30) · Merge requests · Librem5 / librem5-dev-tools · GitLab

Snippets Groups Projects

Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this page for instructions on how to get full permissions. Sorry for the inconvenience.

source.puri.sm will be down starting March 18, 6:00 UTC, for a server migration. We expect the migration to take up to 4 hours.

Merged Guido Gunther requested to merge guido.gunther/librem5-dev-tools:fixes into master 2 years ago

Jun 28, 2022
- Document changes and release 4 · e0069809
  Guido Gunther authored 2 years ago
  
  e0069809
- l5-fetch-next: Drop phosh-byz · ab41501e
  Guido Gunther authored 2 years ago
  
  We build against byzantium so there's no point to not apply the Byzantium specific patches right away.
  ab41501e
Jun 27, 2022
- l5-fetch-next: Update osk-stub repo · 1e8fb750
  Guido Gunther authored 2 years ago
  
  Move it to source.puri.sm to avoid confusion
  1e8fb750
- mk-gitlab-rel: Better handle alpha, beta and rc releases · 3f2e79ab
  Guido Gunther authored 2 years ago
  
  We use `~` to denote a lower version but in git we need to use `_` as `~` isn't allowed. This is compatible with what Debian based distros do.
  3f2e79ab
- d/control: Suggest librem5-dev-tools · 45108e7d
  Guido Gunther authored 3 years ago
  
  45108e7d
- d/control: Mention new scripts · 9b8b2267
  Guido Gunther authored 3 years ago
  
  Makes searches simpler
  9b8b2267
- d/control: Recommend ccache and build-essential · 8296f284
  Guido Gunther authored 3 years ago
  
  Makes getting a dev system up simpler
  8296f284