Re: Disallow amending published commits?

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: James Pickens
Date: Saturday, March 21, 2009 - 3:49 pm

[Resend since I forgot to cc the list]

On Sat, Mar 21, 2009, Peter Harris <git@peter.is-a-geek.org> wrote:

Thanks, but unfortunately that won't work in our workflow.  Users never
push their changes; instead, they do a turnin to a continuous integration
server.  The server clones the central repo, pulls their changes into the
clone, builds and tests it, then pushes to the central repo if it passes
the tests.  So integration happens via 'pull' instead of 'push'.

We can't force the pulls to be fast forward only, because we need to allow
turnins from multiple users to be built and tested in parallel, without
requiring users to pull from each other or otherwise coordinate their
turnins.

James
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Disallow amending published commits?, James Pickens, (Sat Mar 21, 10:56 am)
Re: Disallow amending published commits?, Peter Harris, (Sat Mar 21, 11:46 am)
Re: Disallow amending published commits?, James Pickens, (Sat Mar 21, 3:49 pm)
Re: Disallow amending published commits?, Peter Harris, (Sat Mar 21, 6:53 pm)
Re: Disallow amending published commits?, Jeff King, (Sat Mar 21, 7:42 pm)
Re: Disallow amending published commits?, Peter Harris, (Sat Mar 21, 7:57 pm)
Re: Disallow amending published commits?, James Pickens, (Sat Mar 21, 9:09 pm)
Re: Disallow amending published commits?, Peter Harris, (Sun Mar 22, 7:19 am)
Re: Disallow amending published commits?, Nicolas Sebrecht, (Sun Mar 22, 8:15 am)