Gerhard Schlager 12436d054d DEV: Remove badge_granted_title column from user_profiles (#20476) ... That column is obsolete since we added the `granted_title_badge_id` column in 2019 (56d3e29a69). Having both columns can lead to inconsistencies (mostly due to old data from before 2019). For example, `BadgeGranter.revoke_ungranted_titles!` doesn't work correctly if `badge_granted_title` is `false` while `granted_title_badge_id` points to the badge that is used as title.		2023-03-08 13:37:20 +01:00
..
fixtures	UX: Update badge icons (#20462)	2023-02-28 10:42:05 +08:00
migrate	FEATURE: allow external links in custom sidebar sections (#20503)	2023-03-07 11:47:18 +11:00
post_migrate	DEV: Remove badge_granted_title column from user_profiles (#20476)	2023-03-08 13:37:20 +01:00
api_test_seeds.rb	DEV: Apply syntax_tree formatting to db/*	2023-01-09 11:59:41 +00:00