#1875 Re init the git repos before updating them from database
Merged by pingou. Opened by vivekanand1101.
vivekanand1101/pagure regen  into  master

Download 1875.patch
no initial comment

:thumbsdown: for this, unless there are 0 requests in the DB

Same as above, I don't think we should loose the history, unless there are no tickets in the DB

This likely needs another indentation to make pep8 happy

Based on those comments, I am a little bit wondering if we should have entirely different actions for these, so I'm not 100% sure I like that idea either, so maybe just reinitialized if there is something in the git repo but nothing in the DB

rebased

rebased

1 new commit added

  • Adjust the logic around re-generating the backend git repos

I tweaked a little bit the conditional but this is looking good.

Want to have a final look?

rebased

1 new commit added

  • Adjust the logic around re-generating the backend git repos

:thumbsup:

Same for me, let's merge! :)

Pull-Request has been merged by pingou

Metadata