return result
+def is_tag_deleted(oldrev, newrev):
+ """check whehter tag is deleted"""
+
+ # 0000*0 is a special git hash code in gerrit for deleted git object
+ if oldrev != newrev and newrev == '0000000000000000000000000000000000000000':
+ return True
+ else:
+ return False
+
def main():
# global variable
global GERRIT_PATCHSET_REVISION
if not GERRIT_REFNAME.startswith('refs/tags/submit/'):
print '\nREFNAME "%s" isn\'t start with refs/tags/submit, exit now' % GERRIT_REFNAME
end('success')
+ elif is_tag_deleted(GERRIT_OLDREV, GERRIT_NEWREV):
+ print '\nREFNAME "%s" is deleted, exit now' % GERRIT_REFNAME
+ end('success')
# check whether exist git-obs-mapping.xml in local
if GERRIT_PROJECT == MAPPING_PRJ or not os.path.isfile('%s/%s/git-obs-mapping.xml' % (GIT_CACHE_DIR, MAPPING_PRJ)):