search

opensupporter / osdi-docs

OSDI Specification
opensupporter.org
Other
86 stars 47 forks source link

Remove Chuck Hagenbuch #308

Closed chuck closed 6 years ago

chuck commented 6 years ago

I wish to be removed. I am also no longer at Blue State Digital.

j-ro commented 6 years ago

@mklaber as a rule, we discuss and approve PRs before merging them...

mklaber commented 6 years ago

@j-ro sorry, didn't think these were things that needed discussion. And, I can't speak for the formerly-BSD folks, but my removal was timely as hinted at in my comment 45837dc08efa33ad922eccd99a7cf615f1472166

@chuck I should have caught this when merging your PR but you gotta make it against the gh-pages branch to get it updated on the website. My commit powers were revoked while I was trying to repoint your PR.

j-ro commented 6 years ago

None of this is controversial, so I'm sure these can be merged in short order, but there's still a procedure here that should be followed.

joshco commented 6 years ago

@j-ro is correct.

mklaber commented 6 years ago

@joshco image

j-ro commented 6 years ago

Let's keep this focused on the work, folks.