Rather than the entire page, this link should point to the subheading for merge request push options.