Stream: helpdesk (published)

Topic: Is an environment containing an unregistered GitHub packa...


view this post on Zulip Rashid Rafeek (Oct 12 2021 at 09:10):

I have an environment which contains a package I have added with its GitHub url which points to the master branch. Is this environment reproducible? That is, if I use the Project.toml and Manifest.toml and instantiate the project, is it ensured that the GitHub package gets added at the same commit as the original commit at which it was added (even if the master branch currently points to a different commit)?

view this post on Zulip Cédric Belmant (Oct 12 2021 at 09:44):

The Manifest.toml should contain the hash of the commit, so yes.

view this post on Zulip Fredrik Ekre (Oct 12 2021 at 10:39):

The manifest doesn't actually contain the commit hash, but rather the content hash. As long as that content hash still exist in the repo you can instantiate it.

view this post on Zulip Rashid Rafeek (Oct 12 2021 at 12:45):

Thanks. I figured out I can find the the commit hash from the content hash in Manifest.toml.

view this post on Zulip Gunnar Farnebäck (Oct 12 2021 at 21:23):

The commit hash isn't necessarily uniquely determined by the tree hash though, but that's not very important since it's the tree hash that's critical for reproducibility.


Last updated: Oct 02 2023 at 04:34 UTC