infinitepush: drop the extension

Merge request reports

Loading