remote: don't imply that integration is always required before pushing