micropython/mip/mip/__init__.py: Implement install from gitlab.

[OlivierLenoir]

Modify _rewrite_url() to allow mip install from gitlab: repository.

Signed-off-by: Olivier Lenoir olivier.len02@gmail.com

[OlivierLenoir]

Both pull requests are link to the same implementation of mip install from GitLab.

• micropython/mip/mip/__init__.py: Implement install from gitlab. #816
• mpremote: Implement mip install from GitLab. micropython#13791

Signed-off-by: Olivier Lenoir olivier.len02@gmail.com

---

#816

Modify _rewrite_url() to allow mip install from gitlab: repository.

Signed-off-by: Olivier Lenoir olivier.len02@gmail.com

---

micropython/micropython#13791

mpremote: Implement mip install from GitLab.

tools/mpremote/README.md: Add mip install gitlab:org/repo@branch.
Add example mpremote mip install gitlab:org/repo@branch.

tools/mpremote/mpremote/mip.py: Implement install from GitLab.
Modify _rewrite_url() to allow mip install from gitlab: repository.

mpremote/mpremote/main.py: Add gitlab:org/repo, gitlab:org/repo@branch.
Modify argparse_mip() for gitlab:org/repo, gitlab:org/repo@branch.

docs/reference/packages.rst: Mip install from GitLab.
Describe how to mip install from GitLab.

docs/reference/mpremote.rst: Install package from GitLab.
Install the package from the specified branch at org/repo on GitLab.

Signed-off-by: Olivier Lenoir olivier.len02@gmail.com

[OlivierLenoir]

@jimmo I think this PR is right.
What's the next step, if any?

[dpgeorge]

Thanks for the contribution! This looks good, and is now merged.

[dpgeorge]

Rebased and merged in 57cbc34