cog

Add specific handling for pushing procedure with versions

#2421

Merged