Merge master #5

Merged
bom merged 2 commits from master into main 3 months ago
bom commented 3 months ago
Owner
There is no content yet.
bom added 2 commits 3 months ago
bom merged commit 507475f40e into main 3 months ago
bom deleted branch master 3 months ago
The pull request has been merged as 507475f40e.
You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.
git checkout -b master main
git pull origin master

Step 2:

Merge the changes and update on Forgejo.
git checkout main
git merge --no-ff master
git push origin main
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: meissa/provs#5
Loading…
There is no content yet.