Open wdduncan opened 3 years ago
I don't think the Pipefile is supposed to be in the .gitignore, only the Pipefile.lock (or *.lock).
cc @hsolbrig @cmungall
I don't think the Pipefile is supposed to be in the .gitignore, only the Pipefile.lock (or *.lock).
cc @hsolbrig @cmungall