Change Details

When pushing tags on that repository nothing happens... (instead of publishing to pypi then going on with debian packaging). It's stuck in january 2020 when the last tag was pushed manually. Unstuck this.

When pushing tags on that repository nothing happens... (instead of publishing to pypi then going on with debian packaging...). It's stuck in january 2020 when the last tag was pushed manually. Unstuck this.

When pushing tags on that repository nothing happens... (instead of publishing to pypi then going on with debian packaging...). It's stuck in january 2020 when the last tag was pushed manually. Unstuck this.