Skip to content

scripts/murdock-worker: fix create_user, add checks - #10

Merged
crasbe merged 1 commit into
RIOT-OS:mainfrom
crasbe:pr/fix_create_user
Sep 30, 2026
Merged

crasbe merged 1 commit into
RIOT-OS:mainfrom
crasbe:pr/fix_create_user

Conversation

@crasbe

@crasbe crasbe commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

Contribution Description

Full explanation, see RIOT-OS/riotdocker#297

create_user expects a GID as a second parameter after RIOT-OS/riotdocker#266, this was not adapted here.

Also, git-cache-rs does not check if the cache directory actually works when calling git-cache init. We check if the environment variable is set and the directory exists or can be created.

Testing Procedure

This has been verified on my local ThinkPad, but the internet connection is not stable enough to support an ongoing build unfortunately. (I have to go through our uni's VPN because otherwise SSH connections fail left and right).

Once RIOT-OS/riotdocker#297 is merged, I'll transition skyleaf and see if it'll cause any issues in the next days and fix them accordingly.

@crasbe

crasbe commented Sep 30, 2026

Copy link
Copy Markdown
Contributor Author

Merging this won't have any immediate effects as the owners/maintainers of the CI servers explicitly run git pull in /srv/murdock-worker.

If that wasn't the case, the redis update would've killed the CI in May 2026 already 😅

@AnnsAnns AnnsAnns left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice ty, small hint for future generations tho :)

Comment thread scripts/murdock-worker.sh
create_user expects a GID as a second parameter after
RIOT-OS/riotdocker#266, this was not adapted in the murdock-worker
repository.

Also, git-cache-rs does not check if the cache directory actually
works when calling git-cache init. We check if the environment
variable is set and the directory exists or can be created.

Co-Authored-By: Claude Opus 5.5 <norely@anthropic.com>
@crasbe
crasbe merged commit 6572d0a into RIOT-OS:main Sep 30, 2026
@crasbe
crasbe deleted the pr/fix_create_user branch September 30, 2026 10:43
@crasbe

crasbe commented Sep 30, 2026

Copy link
Copy Markdown
Contributor Author

Thank you :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants