Closed AnonymousRandomPerson closed 8 months ago
Not sure, it can be added back to pret.github.io if that is an issue.
I would appreciate that, yeah. It's not used very often but it solidifies our claim over the channel name in that server, should we ever need it (and some people have, in the past).
I see there's already a PR (https://github.com/pret/pret.github.io/pull/3) that adds it. Might need to poke Pikalax about it and/or add more maintainers to the repo.
Agreed that https://github.com/pret/pret.github.io/pull/3 should merge before this.
Looks like https://github.com/pret/pret.github.io/pull/4, which is similar, was already merged. What's left to merge this PR? @vulcandth @Rangi42 @mid-kid
Looks like pret/pret.github.io#4, which is similar, was already merged. What's left to merge this PR? @vulcandth @Rangi42 @mid-kid
It seems okay to me; if there are no last minute objections i'll merge this soon.
Why was the IRC link removed?