Handle deleted users when archiving.

martinthomson / i-d-template

A template for IETF internet draft git repositories

Other

208 stars 182 forks source link

Handle deleted users when archiving. #222

Closed jyasskin closed 4 years ago

jyasskin commented 4 years ago

This broke https://travis-ci.org/github/WICG/webpackage/jobs/671886121, and you can see an example issue at https://github.com/WICG/webpackage/issues/128.

martinthomson commented 4 years ago

Thanks Jeffrey. I didn't know that was even possible (my expectation was that the login name would remain). I wonder if we should be using a different key.