Skip to content
GitLab
Explore
Sign in
docs: update README after migration from GitHub to GitLab
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter Lényi
requested to merge
update_readme
into
main
Dec 01, 2023
Overview
1
Commits
2
Pipelines
3
Changes
1
Expand
add message GitLab repo is the primary one and GitHub repo is just a mirror
re-add project badges, pointing URLs and shields to GitLab repo
Merge request reports