Do not reopen a closed merge request
On python updates.
It's needed for arkindex workers: otherwise a lot of useless branches are updated and are processed by Arkindex
Edited by Bastien Abadie
On python updates.
It's needed for arkindex workers: otherwise a lot of useless branches are updated and are processed by Arkindex