# smoo-managed. Keep the newer runtime version pins on any merge (especially a
# mirror sync's `git am --3way`) instead of stalling on a conflict. The driver
# `smoo-newer-pins` is defined by `smoo` (git config, installed at devenv setup)
# and implemented in tooling/direnv/merge-newer-pins.sh. Files not present in a
# given repo are simply ignored.
tooling/direnv/nixpkgs-overlay/_sources/generated.json  merge=smoo-newer-pins
tooling/direnv/nixpkgs-overlay/_sources/generated.nix   merge=smoo-newer-pins
tooling/direnv/devenv.lock                              merge=smoo-newer-pins
