Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
place reservation #483
This PR implements an initial version of place reservation using tags and filters, and a scheduler which allocates places. Documentation is still missing and more tests are needed.
This builds on PR #481.
@@ Coverage Diff @@ ## master #483 +/- ## ======================================== - Coverage 57.2% 56.8% -0.4% ======================================== Files 122 123 +1 Lines 7870 8215 +345 ======================================== + Hits 4506 4672 +166 - Misses 3364 3543 +179
This is needed for reservations and filters later. Signed-off-by: Jan Luebbe <email@example.com>
This avoids the need to use the wait command if one wants to wait for the reservation immediately. Signed-off-by: Jan Luebbe <firstname.lastname@example.org>