remove push via update script in favour of more secure mirroring