Closed jhamman closed 3 years ago
No movement on this for over a year, so I will merge.
Any idea why this has a merge conflict? So annoying.
So the PR was merged! https://github.com/pangeo-data/governance/commit/97146212612be9e6db8eacb229f642860e9e70aa
But for some reason this PR doesn't seem to know about this. GitHub glitch?
cc @pangeo-data/steering-council