Trac repository lost sync

[jri]

Hi dgf!

Can you please sync the "deepamehta" Trac repo. Apparently it lost sync.

Liebe Grüße
Jörg

[jri]

With my recent commit apparently the repo got re-synced.
So it works for me.

[jri]

Just a note: for the commits that are re-synced after the fact the auto-ticket-update feature doesn't work.

[jri]

Dgf, can you please sync the "deepamehta" Trac repo.
Apparently it lost sync again.

[dgf]

How did this happen? Have you forced a push with a changed history?

[jri]

Replying to dgf:

Have you forced a push with a changed history?

Not really. However I did some git cherry-picks for the first time (in the course of releasing 4.4.3). But these are regular commits, right?

Thank you very much!

[jri]

Hi Danny!
Can you please re-sync the Trac DM repo.
Yesterday the repo lost sync after pushing a merge-into-master commit. No History was changed.

[dgf]

re-sync is done

Can you reproduce this behavior?

Should we re-sync every night with a cron job?

[jri]

Replying to dgf:

re-sync is done

Thank you very much!

Can you reproduce this behavior?

Not really.
It run flawless for more than 7 months now.
My intuition is that the github-to-trac push mechanism sometimes stumble when a "git merge" or "git cherry-pick" commit is involved.

Should we re-sync every night with a cron job?

I would rather not.
The current workflow is quite optimal and I like it very much. In particular I like the ticket-auto-update feature, I mean when the trac-git plugin parses the commit message, looking e.g. for "See #xxx" and updates the corresponding ticket by automatically adding a comment. This ticket update in turn is then (regularly) emailed by trac to each person involved in that ticket. So every developer is always informed about all relevant dev changes and news, just in time. I feel this workflow is quite perfect and I want keep it this way.

With a re-sync cron job just the repos would be synced but we would loose the ticket-auto-update and the just-in-time notifications. You can see this when you sync the repos manually. The tickets for the pending commits are *not* updated and thus no notifications are send.

Probably there is a newer version of the trac-git plugin that handles "git merge" or "git cherry-pick" commits properly.

Thank you very much!

[jri]

Sorry, can you please resync again.

Again after pushing a merge-into-master commit the Trac repo lost sync.
Now the pattern becomes clear: merging into master is the "culprit".

[jri]

Danny, can you please resync?
Otherwise my commits will not auto-comment on the respective tickets.
Thank you!

[dgf]

synced again

[jri]

Cool. Thank you!