AntiMicro/antimicro-profiles
1
0
Fork 0
Code Issues 2 Pull requests 4 Projects Releases Packages Wiki Activity Actions

cod4 profile #14

Open
mrk310310 wants to merge 3 commits from unknown repository into master
pull from: unknown repository
merge into: AntiMicro:master
Conversation 2 Commits 3 Files changed 3 +391
mrk310310 commented 2017-06-30 15:36:03 -04:00 (Migrated from github.com)
Copy link
No description provided.
jsbackus commented 2017-09-03 10:32:15 -04:00 (Migrated from github.com)
Copy link

Hi @mrk310310, sorry for taking so long to get back to you. Looks like something got confused in the pull request. Is the profile in your repository mrk310310/AntiMicro-mrks-user-profiles?

Hi @mrk310310, sorry for taking so long to get back to you. Looks like something got confused in the pull request. Is the profile in your repository [mrk310310/AntiMicro-mrks-user-profiles](https://github.com/mrk310310/AntiMicro-mrks-user-profiles)?
mrk310310 commented 2017-09-04 15:26:54 -04:00 (Migrated from github.com)
Copy link

@jsbackus, yes it is. I'm also going to add Stalker profiles later.

@jsbackus, yes it is. I'm also going to add Stalker profiles later.
This pull request is broken due to missing fork information.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin unknown repository:unknown repository
git switch unknown repository

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch master
git merge --no-ff unknown repository
git switch unknown repository
git rebase master
git switch master
git merge --ff-only unknown repository
git switch unknown repository
git rebase master
git switch master
git merge --no-ff unknown repository
git switch master
git merge --squash unknown repository
git switch master
git merge --ff-only unknown repository
git switch master
git merge unknown repository
git push origin master
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
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
AntiMicro/antimicro-profiles!14
No description provided.