change the version in debian/changelog then push the master, pristine-tar, and upstream branches.
**NOTA BENE**: files removed from upstream are removed in the detar process and not with a git remove command, when upstream is merged in master old files are then not removed. They should be removed by hand with a `git rm` command.
\ No newline at end of file
**NOTA BENE**: files removed from upstream are removed in the detar process and not with a git remove command, when upstream is merged in master old files are then not removed. They should be removed by hand with a `git rm` command directly in the upstream branch.