View Issue Details

IDProjectCategoryView StatusLast Update
0004854Spring engineGeneralpublic2015-07-03 15:39
ReporterJools Assigned Toabma  
PrioritynormalSeverityfeatureReproducibilityalways
Status closedResolutionno change required 
Product Version99.0+git 
Summary0004854: Request to change development version name
DescriptionCurrent name of development build is "{develop}99.0.1-20-gc999972 develop" (with a space). This causes some problems in various parts of the infrastructure, for example pr-downloader does not find the stuff. This is just one example, there are many many more issues.

A simple solution would be to change name to "{develop}99.0.1-20-gc999972-develop" (with a hyphen).

By the way, the old internal name is still displayed at this page:

http://springrts.com/dl/buildbot/default/develop/LATEST

(without the appendix)
TagsNo tags attached.
Checked infolog.txt for Errors

Activities

abma

2015-07-03 15:39

administrator   ~0014854

no, version schema won't be changed. if it would be, a lot more stuff would break.

if something in the infrastructure has a problem with the space, then please report this to the related project / associated bug tracker.

Issue History

Date Modified Username Field Change
2015-06-28 10:17 Jools New Issue
2015-07-03 15:39 abma Note Added: 0014854
2015-07-03 15:39 abma Status new => closed
2015-07-03 15:39 abma Assigned To => abma
2015-07-03 15:39 abma Resolution open => no change required