Compare commits

..

No commits in common. "527d71b479f61e245660e826886693798300b924" and "a882de0b8eb112ec6229a3a32a81aab2280ed7de" have entirely different histories.

2 changed files with 6 additions and 4 deletions

View file

@ -15,9 +15,8 @@ jobs:
- name: Update pins
run: nix-shell --run "npins update"
- name: Create PR
uses: github.com/quentinlegot/gitea-create-pull-request@d1fd3e1f0c98ee7a009c035f9b7ad3f3bdc0f281
uses: peter-evans/create-pull-request@v7
with:
remote-instance-api-version: v1
token: "${{ secrets.DEPLOY_KEY }}"
branch: npins-update
commit-message: "npins: update sources"

View file

@ -202,8 +202,11 @@ in
};
};
# needed to place a config file with home-manager
users.users.${name}.isNormalUser = true;
users.users.${name} = {
# TODO[Niols]: change to system user or document why we specifically
# need a normal user.
isNormalUser = true;
};
users.groups.${name} = { };
systemd.services.${name} = {