DevTools writes devtools_options.yaml into a checkout the first time it runs.
It records which DevTools extensions are enabled on this machine, nothing
about the project, so it differs per checkout and is no use to anyone else.
Ignored rather than committed because under jj, which tracks new files
automatically, being ignored is the only way a file stays out of the next
commit on its own.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Adds a Forgejo Actions workflow that builds a release APK on tag push,
reading signing credentials from repo secrets with a debug-key fallback
for local builds, and publishes the APK plus fastlane changelog to a
Forgejo release.
