Which Gitea ARM build install on Raspberry Pi

Gitea currently does not provide packages for ARMv7, which was commonly used for Raspberry Pi 3. This is not a problem as software compiled for specific ARM instructions set should work on more recent architectures thanks to backward compatibility with earlier ARM processors.