regexide/regexide.com
1
Fork 1
Code Issues Pull Requests 1 Actions Projects Releases Wiki Activity

Update Article #1

Open
hu0p wants to merge 1 commits from hu0p/regexide.com:editorializing into main
pull from: hu0p/regexide.com:editorializing
merge into: regexide:main
Conversation 0 Commits 1 Files Changed 1 +122 -163
hu0p commented 2024-04-05 18:05:15 +00:00
Collaborator
Copy Link
No description provided.
hu0p added 1 commit 2024-04-05 18:05:16 +00:00
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u editorializing:hu0p-editorializing
git checkout hu0p-editorializing

Merge

Merge the changes and update on Gitea.
git checkout main
git merge --no-ff hu0p-editorializing
git checkout main
git merge --ff-only hu0p-editorializing
git checkout hu0p-editorializing
git rebase main
git checkout main
git merge --no-ff hu0p-editorializing
git checkout main
git merge --squash hu0p-editorializing
git checkout main
git merge --ff-only hu0p-editorializing
git checkout main
git merge hu0p-editorializing
git push origin main
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
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.

Reference: regexide/regexide.com#1
No description provided.
Delete Branch "hu0p/regexide.com:editorializing"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?