Feature Request: Apt repository

[EmperorArthur]

apt does not support GitHub releases. Therefore every upgrade has to be done manually.

I propose setting up an Ubuntu ppa or using something like https://github.com/rpatterson/github-apt-repos.

You could even create your own repository on https://extraterm.org/ and point the manifest file to the GitHub release itself.

This is a sorely needed quality of life feature, and I originally passed on Extraterm because of the need to manually download it.

[sedwards2009]

I only have limited time. This task is better handled by someone else who is closer to the debian/ubuntu community and their packaging efforts.

[EmperorArthur]

Understandable. I know enough to know how much I don't know myself.