fixed ommission of deb-push in last merge

Merged Peio Rigaux requested to merge hotfix/uncommented_deb-push into master

Merge request reports