diff options
| author | 2019-11-15 10:11:45 +0100 | |
|---|---|---|
| committer | 2019-11-15 10:11:45 +0100 | |
| commit | 0e8f623d15f043f1c8712366bdaf83153a619bca (patch) | |
| tree | 611c4f111855788c00a5e3ef6c909d9021b29c5c /pydis_site/apps/staff/migrations | |
| parent | Delete useless migration file (diff) | |
| parent | Add pipenv run start command (#308) (diff) | |
Merge branch 'master' into bot#549-show-attachments-staff
Diffstat (limited to 'pydis_site/apps/staff/migrations')
| -rw-r--r-- | pydis_site/apps/staff/migrations/0002_add_is_staff_to_role_mappings.py | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/pydis_site/apps/staff/migrations/0002_add_is_staff_to_role_mappings.py b/pydis_site/apps/staff/migrations/0002_add_is_staff_to_role_mappings.py new file mode 100644 index 00000000..0404d270 --- /dev/null +++ b/pydis_site/apps/staff/migrations/0002_add_is_staff_to_role_mappings.py @@ -0,0 +1,18 @@ +# Generated by Django 2.2.6 on 2019-10-20 14:19 + +from django.db import migrations, models + + +class Migration(migrations.Migration): + + dependencies = [ + ('staff', '0001_initial'), + ] + + operations = [ + migrations.AddField( + model_name='rolemapping', + name='is_staff', + field=models.BooleanField(default=False, help_text='Whether this role mapping relates to a Django staff group'), + ), + ] |