User.is_internal is not accessible in the Django admin

Since the removal of the Internal group, the only way to change the is_internal boolean on a User is to set it via SQL or via a Django shell.

added 1 deleted label

mentioned in merge request !888 (merged)

closed

mentioned in commit 49465454