Watch
67
0
Fork
You've already forked students
 0

very important fix #31

Open
NotABotDaniel wants to merge 1 commit from important-fix into main
pull from: important-fix
merge into: GHC_Students:main
GHC_Students:main
GHC_Students:15-add-name-korben
GHC_Students:12-add-name-owen
GHC_Students:8-add-name-chris
GHC_Students:Jackson
GHC_Students:8-add-name-korben

closes #30

closes #30
Author
Member
Copy link

Please approve soon. This issue must be fixed immediately.

Please approve soon. This issue must be fixed immediately.
cjones left a comment
Copy link

you got the name order wrong. plz fix.

you got the name order wrong. plz fix.
This pull request has changes conflicting with the target branch.
  • README.md
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin important-fix:important-fix
git switch important-fix
Sign in to join this conversation.
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Assignees
Clear assignees
No assignees
2 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
GHC_Students/students!31
Reference in a new issue
GHC_Students/students
No description provided.
Delete branch "important-fix"

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?