Misc fixes (!57) · Merge requests · postmarketOS / mrhlpr · GitLab

Snippets Groups Projects

Merged Newbyte requested to merge newbyte/misc-fixes into master 4 months ago

Nov 02, 2024
- mrhlpr.mr: Increase automerge retry iterations to 10 · c89378c3
  Newbyte authored 4 months ago
  
  This seems to help with more reliably getting automerge going on the new GitLab instance … maybe.
  Verified
  
  c89378c3
- pyproject.toml: Set disallow_untyped_defs = true · 5e186cba
  Newbyte authored 4 months ago
  
  We pass this check.
  Verified
  
  5e186cba
- pyproject.toml: Set disallow_incomplete_defs = true · 520789b4
  Newbyte authored 4 months ago
  
  With the parent of this commit, we pass this check.
  Verified
  
  520789b4
- mrhlpr, mrtest: Add more type hints · 4961d738
  Newbyte authored 4 months ago
  
  Verified
  
  4961d738
- pyproject.toml: Set disallow_untyped_decorators = true · bdad67c8
  Newbyte authored 4 months ago
  
  We already pass this, so might as well enable it.
  Verified
  
  bdad67c8
- mrhlpr.mr: Calculate merge delay from variables · 23a9e65e
  Newbyte authored 4 months ago
  
  This makes the values easier to tweak in the future.
  Verified
  
  23a9e65e
- pyproject.toml: Add tool.mypy section · ad3d7f76
  Newbyte authored 4 months ago
  
  And remove equivalent switches from mypy.sh script to avoid duplication.
  Verified
  
  ad3d7f76