jenkins - How to tag push request in github -

after have pull request - how push specific tag?

moreover - know how trigger push specific tag in jenkins?

thanks#

jenkins git plugin allows add post build action "git publisher". here pressing "add tags" button can set tag push (it can variable jenkins environment, $build_number).

if "create tag" or "update tag" option selected, tag created or updated , pushed @ completion of build, , push fail if tag given name exists. if "create tag" option not selected, push fail if tag not exist.

here detailed example.