mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	As in 902498ec4f, we shouldn't need an
index on remote_id alone - only (server_id, remote_id) together.
		
	
		
			
				
	
	
		
			18 lines
		
	
	
		
			404 B
		
	
	
	
		
			Python
		
	
	
	
	
	
			
		
		
	
	
			18 lines
		
	
	
		
			404 B
		
	
	
	
		
			Python
		
	
	
	
	
	
# Generated by Django 4.2.6 on 2023-10-20 00:10
 | 
						|
 | 
						|
from django.db import migrations, models
 | 
						|
 | 
						|
 | 
						|
class Migration(migrations.Migration):
 | 
						|
    dependencies = [
 | 
						|
        ("zilencer", "0029_update_remoterealm_indexes"),
 | 
						|
    ]
 | 
						|
 | 
						|
    operations = [
 | 
						|
        migrations.AlterField(
 | 
						|
            model_name="remoteinstallationcount",
 | 
						|
            name="remote_id",
 | 
						|
            field=models.IntegerField(),
 | 
						|
        ),
 | 
						|
    ]
 |