« Previous | Next » 

Revision 34b5bfbe

ID34b5bfbe8670a8d6a7bd337b62f1edbf26ceefc0

Added by Karsten Dambekalns over 9 years ago

[TASK] Adjust release deployment descriptor

This adds the configuration needed to push tags based on
the PUSH_TAGS environment variable and tweaks some tiny
(style) issues.

Change-Id: I01be0298ed0757b5ee19ba3cb17c275d824ed8df
Releases: 1.1, 1.2

  • added
  • modified
  • copied
  • renamed
  • deleted