bash completion: teach fetch, pull, and push to complete their options