New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use RELEASENOTES date instead of build date #4390

Open
wants to merge 2 commits into
base: unstable
from

Conversation

Projects
None yet
2 participants
@bmwiedemann

bmwiedemann commented Oct 22, 2017

in order to make builds reproducible.
See https://reproducible-builds.org/ for why this is good.

bmwiedemann added some commits Oct 22, 2017

Use RELEASENOTES date instead of build date
in order to make builds reproducible.
See https://reproducible-builds.org/ for why this is good.
Allow to override hostname
to make builds reproducible.
@bmwiedemann

This comment has been minimized.

Show comment
Hide comment
@bmwiedemann

bmwiedemann Jul 25, 2018

ping. any feedback on this?

bmwiedemann commented Jul 25, 2018

ping. any feedback on this?

@antirez

This comment has been minimized.

Show comment
Hide comment
@antirez

antirez Aug 3, 2018

Owner

Hello @bmwiedemann, I'll check this after returning back from vacations, but basically it looks a sensible change, just I'm not totally sure about extracting the date from the release note. I'll investigate this with more care. Thanks.

Owner

antirez commented Aug 3, 2018

Hello @bmwiedemann, I'll check this after returning back from vacations, but basically it looks a sensible change, just I'm not totally sure about extracting the date from the release note. I'll investigate this with more care. Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment