doc: clarify difference between push.default simple and current
#5140
check-whitespace.yml
on: pull_request
check-whitespace
37s