option --local; documentation #6

Merged
acastro merged 1 commits from archive_local into master 5 years ago
There is no content yet.
acastro closed this pull request 5 years ago
acastro deleted branch archive_local 5 years ago
The pull request has been merged as 72e71019ea.
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 archive_local master
git pull origin archive_local

Step 2:

Merge the changes and update on Gitea.
git checkout master
git merge --no-ff archive_local
git push origin master
Sign in to join this conversation.
No reviewers
No Label
No Milestone
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: XPUB/special-issue-11-wiki2html#6
Loading…
There is no content yet.