Learn more about these different git repos.
Other Git URLs
Currently the version number is duplicated into the old pungi script and has to be bumped separately every time a release is made. We can do better than that.
@lsedlar changed the status to Fixed
Fixed
Log in to comment on this ticket.