exp push/pull: add --rev, -n, -A flags
#3192
Merged
exp push/pull: add --rev, -n, -A flags
#3192