diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-21 19:01:43 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-21 19:10:53 +0100 |
commit | 7d2664212f1a22fbf8680855e77a316b94282b2f (patch) | |
tree | 22f9d03f0922188a4c9536825a3dea7d173f7549 /reproduce/software/shell/pre-make-build.sh | |
parent | 1bf94d0eed3c186692269e4907f2f920a1114250 (diff) |
README-hacking.md: removed any mention of tags
Tags are not a fixed piece of history (they can easily be moved and not
imported in a different repository), so they are only confusing in the
context of Maneage (where people should branch-off the main project). the
raw commit hashes are a much more robust way to store a precise moment in
history.
Before this commit, I removed all Tags from the main Git repositories of
Maneage and thus removed any mention of Tags with
`README-hacking.md'. Ofcourse, if a project decides to use tags is upto
them, but we won't implement it in the main branch.
Diffstat (limited to 'reproduce/software/shell/pre-make-build.sh')
0 files changed, 0 insertions, 0 deletions