| 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 |
Archives