Branch renamed from main to master - breaks apt on DevTerm

[stilvoid]

The main branch has gone from this repo which breaks apt on the DevTerm.

[cuu]

thanks .fixed

[stilvoid]

The default branch is still master though which I don't think is intentional?

[andypiper]

main is far ahead of master, so I assume main should be marked as the default branch, correct?

[shymega]

I don't have push access, but my proposal is to setup a GitHub Action to 'mirror' commits from a third branch, to main/master, as a workaround.