CI: fix permissions for git diff --cached
fdroid build runs git diff --cached for git_repo.is_dirty(). This does no longer work without these permissions.
fdroid build runs git diff --cached for git_repo.is_dirty(). This does no longer work without these permissions.