write result of push to a file