mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 21:43:21 +00:00
69730a78cc
Automatically generated by the following script, based on the output
of lint with flake8-comma:
import re
import sys
last_filename = None
last_row = None
lines = []
for msg in sys.stdin:
m = re.match(
r"\x1b\[35mflake8 \|\x1b\[0m \x1b\[1;31m(.+):(\d+):(\d+): (\w+)", msg
)
if m:
filename, row_str, col_str, err = m.groups()
row, col = int(row_str), int(col_str)
if filename == last_filename:
assert last_row != row
else:
if last_filename is not None:
with open(last_filename, "w") as f:
f.writelines(lines)
with open(filename) as f:
lines = f.readlines()
last_filename = filename
last_row = row
line = lines[row - 1]
if err in ["C812", "C815"]:
lines[row - 1] = line[: col - 1] + "," + line[col - 1 :]
elif err in ["C819"]:
assert line[col - 2] == ","
lines[row - 1] = line[: col - 2] + line[col - 1 :].lstrip(" ")
if last_filename is not None:
with open(last_filename, "w") as f:
f.writelines(lines)
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
33 lines
1.2 KiB
Python
33 lines
1.2 KiB
Python
# Generated by Django 1.11.23 on 2019-08-23 21:03
|
|
|
|
from django.db import migrations, models
|
|
|
|
|
|
class Migration(migrations.Migration):
|
|
|
|
dependencies = [
|
|
('zerver', '0244_message_copy_pub_date_to_date_sent'),
|
|
]
|
|
|
|
operations = [
|
|
migrations.RunSQL(
|
|
"""
|
|
DROP TRIGGER zerver_message_date_sent_to_pub_date_trigger ON zerver_message;
|
|
DROP FUNCTION zerver_message_date_sent_to_pub_date_trigger_function();
|
|
|
|
ALTER TABLE zerver_message ALTER COLUMN date_sent SET NOT NULL;
|
|
ALTER TABLE zerver_message ALTER COLUMN pub_date DROP NOT NULL;
|
|
""",
|
|
state_operations=[
|
|
# This just tells Django to, after running the above SQL, consider the AlterField below
|
|
# as done. The building of the index actually happened in the previous migration, not here,
|
|
# but nevertheless this seems like the correct place to put this fake AlterField.
|
|
migrations.AlterField(
|
|
model_name='message',
|
|
name='date_sent',
|
|
field=models.DateTimeField(db_index=True, verbose_name='date sent'),
|
|
),
|
|
],
|
|
),
|
|
]
|