Yehowshua/bluespec-docs
1
0
Fork 0
Code Issues 2 Pull requests 1 Actions Packages Projects Releases Wiki Activity

WIP: Flake #3

Draft
Artturin wants to merge 2 commits from flakeandtheme into main
pull from: flakeandtheme
merge into: Yehowshua:main
Conversation 0 Commits 2 Files changed 4 +130 -17
Artturin commented 2025-02-13 15:22:51 +00:00
Collaborator
Copy link
No description provided.
Artturin added 3 commits 2025-02-13 15:22:52 +00:00 
remove theme.toml

It appears you based the repo on a theme or something?
`inputs.self` in flake does not include submodules
Artturin force-pushed flakeandtheme from e6d1f4d10f to be87b388ab 2025-02-13 15:27:34 +00:00 Compare
Artturin changed title from WIP: Flake and Theme to WIP: Flake 2025-02-13 15:28:44 +00:00
Artturin added 1 commit 2025-02-13 16:03:50 +00:00
Artturin force-pushed flakeandtheme from 3566b059d0 to 3a3bc563bf 2025-02-13 16:05:59 +00:00 Compare
This pull request is marked as a work in progress.
View command line instructions

Checkout

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

Merge

Merge the changes and update on Forgejo.
git checkout main
git merge --no-ff flakeandtheme
git checkout main
git merge --ff-only flakeandtheme
git checkout flakeandtheme
git rebase main
git checkout main
git merge --no-ff flakeandtheme
git checkout main
git merge --squash flakeandtheme
git checkout main
git merge --ff-only flakeandtheme
git checkout main
git merge flakeandtheme
git push origin main
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: Yehowshua/bluespec-docs#3
No description provided.
Delete branch "flakeandtheme"

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?