Hi all, I added some new functions to existing migration files in supabase local development, these migration files have been pushed to remote before. How can I push changes from these migration files to remote? I tried with supabase db push, but it didn't work, nothing is pushed.

Migrations are a ledger system, you can't edit existing migrations once they have been pushed already, you need to create new migration files with the changes you want to make. Please ask all follow up questions in #1006358244786196510