fix push pipe
dynamically determin origin repository
allow pulling without push