The master branch is super weird and makes browsing repo hard

[kornelski]

It looks like you have a bot that tries to keep master branch merged with changes from main, but this adds tons of merge commits, to the point the history is impossible to browse:

Contents of these two branches appears to be identical, so why not force-push main to master?

[tshepang]

we could also just get rid of master (and remove the sync-er)... I doubt it's still useful
cc @pvdrz

[pvdrz]

The `master` branch no longer exists

We killed the masters! 🎉

[kulp]

The master branch no longer exists

@pvdrz, this deletion appears to have automatically closed several PRs due to the target branch no longer existing. If that was intended, it may merit some comments in the affected PRs.