Re: git repo port issues?
- Reply: Tomoaki AOKI : "Re: git repo port issues?"
- In reply to: Bakul Shah : "Re: git repo port issues?"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 03 Jan 2024 23:32:27 UTC
On Wed, Jan 03, 2024 at 03:09:15PM -0800, Bakul Shah wrote: > On Jan 3, 2024, at 11:22???AM, Brooks Davis <brooks@freebsd.org> wrote: > > > > Nothing about dates is centralized in git, but some server side checks > > could be implemented on CommitDate. IMO we should require that > > CommitDate be >= the previous one and less than "now". > > Given that git commit objects form a DAG, I don't see how you can > impose linearity. Check each commit in a push to ensure that its CommitDate is newer than its first parent's CommitDate (you could check them all, but as a project we're mostly linear). Seems like a pretty trivial property to enforce. -- Brooks