We have a .githash that gets updated during the pre-commit run. Right now, this file is updated once the commit gets pushed. This leaves uncommitted changes on the users repository on git commits. This also means our githash tracking is 1 hash delayed, or it has the potential to be discarded.
If a user does Pkg.add("cuNumeric"), they will not have a valid github repo. Git commands will not work to determine the git commit.
A solution here is updating the .githash file strictly during CI. Or remove this tracking feature entirely.
We have a .githash that gets updated during the pre-commit run. Right now, this file is updated once the commit gets pushed. This leaves uncommitted changes on the users repository on git commits. This also means our githash tracking is 1 hash delayed, or it has the potential to be discarded.
If a user does Pkg.add("cuNumeric"), they will not have a valid github repo. Git commands will not work to determine the git commit.
A solution here is updating the .githash file strictly during CI. Or remove this tracking feature entirely.