infinitepush: aggressively deprecated infinite push

Merged Pierre-Yves David requested to merge topic/default/infinite-push into branch/default

Merge request reports