-
-
Notifications
You must be signed in to change notification settings - Fork 54
Switch to target branch #214
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
#215 should be tested first. |
If you just keep it |
Correct. You may merge. |
|
@jasp00 latest error: |
|
OK, there are many possible errors to recover from. I will wipe out the local repository on error for the sake of simplicity. |
What is the difference between that and forcing the commit through? |
Do you mean to force Also, |
|
I think this will do it if we call it immediately following the fetch... git reset --hard origin/$BRANCHIt won't merge origin's Since we are overwriting the entire file each job, each time, this should be OK and will only pull deltas without forcing a clone every time. |
But this forces to run the tasks every time. You cannot detect if you were up-to-date this way. |
Good point but won't committing an identical file commit nothing? |
I do not know why you make this question. You usually cannot commit without changes. |
Because it fixes the problem, moving |
What |
I don't see any harm in execution each time. Do you? |
I do. The advantage of this system is that we can add many tasks, so they should not be executed each hour needlessly. On error, it is better to discard the environment and start from scratch. |
You're talking about a few CPU cycles and hourly is overkill, we could just as easily switch it to daily. However you want to tackle this is fine, but the current process is broken and in the meantime we're without |
Allow switches among branches without removing the local repository, per #198 (comment).
Do not merge until the task that updates
CONTRIBUTORSis fixed.