- **status**: review --> closed
- **Comment**:
Merged.
---
** [tickets:#8212] Github import error on deleted users**
**Status:** closed
**Milestone:** unreleased
**Labels:** github import
**Created:** Tue Jun 26, 2018 10:00 PM UTC by Dave Brondsema
**Last Updated:** Wed Jun 27, 2018 05:00
- **status**: open --> review
- **Comment**:
Fixed on branch db/8212
---
** [tickets:#8212] Github import error on deleted users**
**Status:** review
**Milestone:** unreleased
**Labels:** github import
**Created:** Tue Jun 26, 2018 10:00 PM UTC by Dave Brondsema
**Last Updated:** Tue Jun
---
** [tickets:#8212] Github import error on deleted users**
**Status:** open
**Milestone:** unreleased
**Labels:** github import
**Created:** Tue Jun 26, 2018 10:00 PM UTC by Dave Brondsema
**Last Updated:** Tue Jun 26, 2018 10:00 PM UTC
**Owner:** Dave Brondsema
```
Traceback (most