add reports from GitHub repos
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
add reports from GitHub repos
Borreguero Calvo, Jose
requested to merge
add_github_repos
into
main
Dec 27, 2022
Overview
0
Commits
4
Pipelines
1
Changes
2
Work Done:
add a legend explaining the emoji's
report of GitHub repositories
conda environment for local development
Edited
Dec 27, 2022
by
Borreguero Calvo, Jose
Merge request reports
Loading