Rebuild website every time the index is updated
Every time the index of F-Droid.org is updated, the website should be rebuilt.
@eighthave Is there some mechanism in the server to do this? I guess we only need to call a HTTP URL to trigger the build.