Sync: local changes as of 2026-07-15T16:28:24+02:00

This commit is contained in:
Michał Kopeć 2026-07-15 16:28:38 +02:00
parent aa819daabd
commit 75e725fb5b
13 changed files with 10 additions and 6 deletions

0
.agents/.gitadd Normal file
View file

0
.agents/skills/.gitadd Normal file
View file

0
.claude/.gitadd Normal file
View file

View file

@ -1,6 +0,0 @@
{
"permissions": {
"allow": [
]
}
}

2
.gitignore vendored
View file

@ -1,5 +1,7 @@
libs/* libs/*
!libs/.gitadd
tmp/* tmp/*
!tmp/.gitadd
outputs/starlight outputs/starlight
outputs/okf outputs/okf
.env .env

0
libs/.gitadd Normal file
View file

0
raw/.gitadd Normal file
View file

0
tmp/.gitadd Normal file
View file

0
wiki/.gitadd Normal file
View file

0
wiki/entities/.gitadd Normal file
View file

0
wiki/graph/.gitadd Normal file
View file

0
workload/.gitadd Normal file
View file

View file

@ -19,3 +19,11 @@
## Dual-remote sync turn ## Dual-remote sync turn
- User asked to commit and push all changes to both `origin` and `codeberg`. - User asked to commit and push all changes to both `origin` and `codeberg`.
- Confirmed the only working-tree changes were deletions of the Codeberg-added skill files, including `.env.example` templates, and user explicitly approved including those deletions. - Confirmed the only working-tree changes were deletions of the Codeberg-added skill files, including `.env.example` templates, and user explicitly approved including those deletions.
## Git empty directory guidance
- User asked how to push an empty `libs/` directory without committing its contents.
- Checked `.gitignore` and confirmed `libs/*` currently ignores `libs/.gitadd`; advised using a tracked placeholder plus a negated ignore rule such as `!libs/.gitadd`.
## Placeholder commit sync turn
- User asked to commit and push all changes to the remote repos.
- Confirmed the visible changes are `.gitadd` placeholders for empty directories, `.gitignore` exceptions for `libs/.gitadd` and `tmp/.gitadd`, deletion of `.claude/settings.json`, and the workload note.