It would be great if the tag used for submission was included somewhere within the submission - so as to know which build / issue belongs to which tag.
Also, it may be advisable to have @devops only process the last submitted tag. I push with a --tags and all tags were pushed. No idea what’s going on regarding issues that were created
This could end catastrophically for unsuspecting users, where they thought their last submission was their last tag, but in fact may not be so (I may be wrong).
And otherwise, it’s been interesting getting familiar with the platform, great work!