Closed
Milestone Nov 11, 2024–Feb 28, 2025

Maintenance and minor feature requests

Some comments by @rgdd to @nisse who will be working on this:

Unsure if #72 needs doing, but would be nice to follow-up at least. Maybe with a working batch submit (#60) that suggestion wouldn't have come up.

For man pages, don't let perfect be the enemy of good. As a rule of thumb, maybe try to time-scope what we can do here to ~2 days.

Most of the other issues are small, mainly batch submit and dependency bumping that takes a couple of days to complete?


Edit 2025-01-23: we fell behind on this, bumping date to end of feb (we're still intending to make progress here).

  • Work items 10
  • Merge requests 0
  • Participants 2
  • Labels 0
Loading
Loading
Loading
Loading
100% complete
100%
Start date
Nov 11, 2024
Nov 11 2024
-
Feb 28 2025
Due date
Feb 28, 2025 (Past due)
10
Work items 10
Open: 0 Closed: 10
0
Merge requests 0
Open: 0 Closed: 0 Merged: 0
0
Releases
None
Reference: sigsum%"Maintenance and minor feature requests"