Release: fix pushing changes.