2024-06-27T09:11:43Z - 2024-07-04T09:11:43Z
Overview
Excluding merges,
2 authors
have pushed
2 commits
to main and
4 commits
to all branches.
On main,
2 files
have changed
and there have been
43 additions
and
57 deletions.
2 pull requests merged by 2 users
Merged
#14 fetchFromGitLab: force re-fetch when rev changes
Merged
#17 docs: maintainer list
1 pull request proposed by 1 user
Proposed
#18 style: formatting