Extension talk:FilterSpecialPages

Branch REL1_40

It is strange because this extension is hosted on Gerrit, so theoretically there should be a branch REL1_40 but there is none. More strange, there is such branch on the Github mirror.

@Osnard: Do you know if it was a voluntary action to delete it? or an involuntary action? ~ Seb35 [^_^] 11:10, 28 September 2023 (UTC)

Yes, this was intentional. I usually remove branches that I do not actively support (which are only LTS branches like REL1_35, REL1_39; Unlike the WMF developers I can not guarantee the master branch works; I usually also maintain version tags, but using a REL* branch directly is also safe in most cases; master is not, but it need to be there). I know that some people consider this a bad practice, but I believe it does not make sense to list branches on Special:ExtensionDistributor that are most likely to break anyways. Unfortunately since some time branches that get deleted on gerrit do not get deleted on the github.com mirrors anymore (I believe this was different in the past). Osnard (talk) 08:33, 29 September 2023 (UTC)