[
https://issues.jboss.org/browse/JBIDE-13835?page=com.atlassian.jira.plugi...
]
Max Rydahl Andersen commented on JBIDE-13835:
---------------------------------------------
"Or is there some instance where it's possible that the SHA in the manifest and
the identical SHA in github resolve to different versions of the sources / different
commits?"
There actually is. If someone does a push force in between. It will mean the source
gathering will fail most likely though.
Improve publish script (split? Move to maven?)
----------------------------------------------
Key: JBIDE-13835
URL:
https://issues.jboss.org/browse/JBIDE-13835
Project: Tools (JBoss Tools)
Issue Type: Enhancement
Components: build
Reporter: Mickael Istria
Assignee: Nick Boldt
Fix For: 4.3.x
Publish script deals with a lot of different and not-always-related things. It makes it
difficult to maintain it. We should think about some improvements such as
* different conventions from different stream
* components vs aggregate
* devstudio vs jbosstools.
Or,
* Make publishing part of a "mvn deploy" step.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)