micropython/mip/mip: Add an alias for codeberg repos.#1101

agatti wants to merge 1 commit intomicropython:mastermicropython/micropython-lib:masterfrom

agatti:mip-codebergagatti/micropython-lib:mip-codebergCopy head branch name to clipboard