mirror of
https://github.com/coredns/coredns.git
synced 2025-11-30 15:44:23 -05:00
This has been broken for PRs since April 2021. As it's only used for PRs and there has been no one interested in correcting it all this time, it has been removed as it's redundant. Signed-off-by: Brennan Kinney <5098581+polarathene@users.noreply.github.com>