diff options
| author | Maria Matejka <mq@ucw.cz> | 2023-03-19 13:21:35 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2023-04-04 17:00:58 +0200 |
| commit | 731ec008402a6e800ceb4c1171e44852ecc4679a (patch) | |
| tree | 3a05084526dd0fdecaf7d200179e468fef99b42f /.gitlab-ci.yml | |
| parent | 765bf99b695a9525fe4dfbc3f5e0bb90f56826d0 (diff) | |
Allowing to restart a route refresh.
Repeated pipe refeed should not end route refresh as the prune routine
may start pruning otherwise valid routes.
The same applies for BGP repeated route refresh.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions