archives/FHeD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Releases 40 Activity

Existing Tickets Page #14

Closed
MrLyallCSIT wants to merge 1 commits from issue-13 into main
pull from: issue-13
merge into: archives:main
Conversation 2 Commits 1 Files Changed 3 +119 -34
MrLyallCSIT commented 2020-08-05 12:31:32 +00:00 (Migrated from github.com)
Copy Link

Changed name to existing to allow closed tickets to be displayed
Closes #13

Changed name to existing to allow closed tickets to be displayed Closes #13
luketainton (Migrated from github.com) approved these changes 2020-08-05 17:52:09 +00:00
luketainton commented 2020-08-05 17:53:28 +00:00 (Migrated from github.com)
Copy Link

Main got messed up loads - this needs to be retried from a new branch.

Main got messed up loads - this needs to be retried from a new branch.

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
luketainton
Labels
Clear labels
dependencies
Pull requests that update a dependency file
 release:major
Auto Version - Major release
 release:minor
Auto Version - Minor release
 release:patch
Auto Version - Patch release
 status:duplicate
This issue or pull request already exists
 status:stale
Auto-closed due to inactivity
 type:bug
Something isn't working
 type:docs
Improvements or additions to documentation
 type:epic
Major/breaking changes to the codebase
 type:feature
New feature or request
 type:question
Further information is requested
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
luke
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: archives/FHeD#14
Delete Branch "issue-13"

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?