Hi Ming - yes, because Server and the UI are now independent repos, they will be versioned differently. Currently the “latest” tag is the one that you’ll want to use with Core 0.13.0
m
Ming Fang
08/06/2020, 8:25 PM
I suggest we don’t version it differently and keep the version the same across all the independent repos. Otherwise there will be mass confusion.
Ming Fang
08/06/2020, 8:26 PM
also if “latest” is indeed Core 0.13.0 then there should be a 0.13.0 tag in addition to “latest”