Compare commits

merge into: Projects:develop

Branches Tags

Projects:develop

Projects:nix-shell

...

pull from: Projects:develop

Branches Tags

Projects:nix-shell

Projects:develop

These branches are equal. There is no need to create a pull request.