PR #10

Merged
maximstewart merged 6 commits from master into develop 4 years ago
maximstewart commented 4 years ago (Migrated from github.com)

Update dev

Update dev
The pull request has been merged as 659e555992.
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 develop
git pull origin master

Step 2:

Merge the changes and update on Gitea.
git checkout develop
git merge --no-ff master
git push origin develop
Sign in to join this conversation.
No reviewers
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: itdominator/Easy-Session-Manager#10
Loading…
There is no content yet.