No reason to have migration_number optional or default to None
authorChristopher Allan Webber <cwebber@dustycloud.org>
Sun, 10 Jul 2011 23:48:09 +0000 (18:48 -0500)
committerChristopher Allan Webber <cwebber@dustycloud.org>
Sun, 10 Jul 2011 23:48:09 +0000 (18:48 -0500)
mediagoblin/db/util.py

index 2ca17f0bf797d83ed86a17b7a91126a9138ad096..1a4dd95ba81a04a02ffccd8ce43b401b3052a7b1 100644 (file)
@@ -188,7 +188,7 @@ class MigrationManager(object):
             # If no migrations have been set, we start at 0.
             return 0
 
-    def set_current_migration(self, migration_number=None):
+    def set_current_migration(self, migration_number):
         """
         Set the migration in the database to migration_number
         """