On 05 Feb 2015, at 15:11, Marcus Denker <marcus.denker@inria.fr> wrote:


On 05 Feb 2015, at 15:08, Max Leske <maxleske@gmail.com> wrote:

I���m subscribed to a couple of resolved (and validated) issues on fogbugz which don���t seem to get integrated, although the integrator runs once a day. Is something going wrong there?

Issues to integrate:



It is not an automatic process.

1) that a change passes the monkey does not mean that it is good. It always needs human review
���> if that happens, we put it on ���fix to include���

2) even issues on ���fix to included��� are integrated by a human. The tool is quite good, though (just a couple of kicks)

Keep in mind that not many people review issues��� 

Marcus



Oops! Both of those have been reviewed by humans. I���ll put them on ���fix to include��� (damn, I���m sure I���ve asked the same question before��� sorry).

Thanks Marcus