Question about adi-registration.properties

[Donnnno]

Hi,

I'm the maintainer of an open-source app, and I'm wondering if it's safe to include the new adi-registration.properties file with its code in the project (where everyone can see it). I can't find if it should be a secret, for example.

[TheLastProject]

@TKBurner Can you please answer this question? This is documented nowhere but checking the file into a public git tree is the only possible way to generate an APK which includes this file signed by the F-Droid key for the app, making it the only semi-viable (but quite a hassle) way to add an F-Droid build to the trusted builds.

[bgoglin]

It would be nice to get an answer. Are we even supposed to keep that file after we used it once to pass the verification?