Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Make pusehr.py able to push Git tags

Description

pusher.py knows how to push patches into remote SCMs. WE should also add functionality for pushing tags. More specifically:

  1. It should be possible to request that and arbitrary tag for HEAD be created and pushed. This should make it possible to implement

  2. It should be possible to create and push a tag with information that is gathered and created by usrc.py. This is a counterpart to

Activity

Show:

Details

Assignee

Reporter

Components

Priority

Created April 3, 2018 at 11:39 AM
Updated June 12, 2018 at 1:00 PM