Documentation: tell when push options were introduced
This MR adds text indicating when some push options were added to the product.
This was requested in gitlab-com/www-gitlab-com!27783 (merged)
This relates to https://gitlab.com/gitlab-org/gitlab-ce/issues/43263
Edited by Christian Couder