Re: [REUSE] REUSE badge for non-default branch of a git repository