Michka Popoff 374c3985d6
pr-pull: check for conflicts with long running builds
This change will prevent us having to run some long running builds
multiple times and to rely on luck to get things merged without conflicts.

The check takes less than 30 secondes on my local setup.
2022-08-01 23:34:06 +02:00
..
2022-07-24 11:44:16 +00:00
2022-06-30 08:56:21 +01:00
2022-06-17 19:47:57 +01:00
2022-06-30 08:56:21 +01:00
2022-07-06 14:29:29 +02:00
2022-06-17 19:47:57 +01:00