adding initial WIP port files #1

Open

dander wants to merge 10 commits from dev/initial-merge into main

pull from: dev/initial-merge

merge into: ports:main

ports:main

Conversation 0 Commits 10 Files changed 4 +34

dander commented 2026-04-06 00:49:56 +00:00

Owner

Copy link

No description provided.

dander added 1 commit 2026-04-06 00:49:57 +00:00

adding initial WIP port files a374cb4c40

dander added 1 commit 2026-04-06 00:52:05 +00:00

fixing action 25431a49d8

dander added 1 commit 2026-04-06 00:52:28 +00:00

fixing action 1dce5766cc

dander added 1 commit 2026-04-06 00:53:01 +00:00

v6 18bc105855

dander added 1 commit 2026-04-06 01:44:37 +00:00

using composite action d9bd342236

dander added 1 commit 2026-04-06 01:45:44 +00:00

testing branch e1e27a0c5a

dander added 1 commit 2026-04-06 01:51:30 +00:00

bump 84588bafb6

dander added 1 commit 2026-04-06 02:15:25 +00:00

bump 289811c167

dander added 1 commit 2026-04-06 02:28:29 +00:00

testing build-port 21fcc0bcfb

dander added 1 commit 2026-04-06 02:35:04 +00:00

testing build 0354a06324

Some checks failed

Hide all checks

/ test (pull_request) Failing after 1s

Details

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 origin dev/initial-merge:dev/initial-merge

git switch dev/initial-merge

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 main

git merge --no-ff dev/initial-merge

git switch dev/initial-merge

git rebase main

git switch main

git merge --ff-only dev/initial-merge

git switch dev/initial-merge

git rebase main

git switch main

git merge --no-ff dev/initial-merge

git switch main

git merge --squash dev/initial-merge

git switch main

git merge --ff-only dev/initial-merge

git switch main

git merge dev/initial-merge

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

Subscribe

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

ports/nickel-lang!1

No description provided.