Hi Max, Max Nikulin <maniku...@gmail.com> writes:
> Does it mean that latest commit should be authored by a payed user and > it is a reason why my commit was ignored when you started rebuild? My understanding is that only payed users can submit manifests, the name of the committer does not matter, only that of the person *pushing* the commit. > My impression is that expectation of Drew DeVault was that Ihor should > send the patch some other (devel) mailing list instead of "discuss". Yes, perhaps. If someone can help Ihor getting this done, this would be a net benefit for us and probably for other SourceHut users. > What do you think about one more redirection rule (attached)? E.g. > https://en.wikipedia.org/wiki/File:Org-mode-unicorn.svg links > org-faq.php#unicorn (notice .php). I am in doubts there are a lot of > links like this one and whether we really need to handle them. LGTM, applied, thanks! -- Bastien
