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.
also if “latest” is indeed Core 0.13.0 then there should be a 0.13.0 tag in addition to “latest”