1 |
On Sun, Jun 3, 2012 at 12:39 PM, Andreas K. Huettel |
2 |
<dilfridge@g.o> wrote: |
3 |
> Sounds reasonable given the current state of git. Let's just be clear about |
4 |
> the following consequence (I hope I understand this correctly): |
5 |
> |
6 |
> * User makes signed improvements in gentoo-x86 clone |
7 |
> * Developer pulls from user and >merges< |
8 |
> * Developer's history contains commits by user, which cannot be pushed to |
9 |
> gentoo-x86 |
10 |
> |
11 |
> Which means in the end "all merges are explicitly allowed, as long as they |
12 |
> only contain developer commits; commits pulled from users must be rebased". |
13 |
|
14 |
I don't think so. IMO pushing commits by a user should be a fine, as |
15 |
long as they're merged in a non-fast-forward, signed merge commit. |
16 |
|
17 |
Cheers, |
18 |
|
19 |
Dirkjan |