You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jan 31, 2018. It is now read-only.
$HOME/.epm/patches is a git repository tracking the eta patches for
hackage ecosystem.
If the --patches-directory option is given, after the git pull also
copy all the files in the patches directory to the git repository.
One cases that needs to be handled:
git pull fails because of conflict (because you have already given
the --patches-directory option). In that case - unstage the uncommited
files and pull again.
Pros:
Manually copying the patches to git directory $HOME/.epm/patches may
cause further epm update to fail because of conflict. This
proposal if implemented, can solve it in a much more intuitive
way. (Practically, that can be solved without implementing this
option and just handling the edge case in the update command.)
Cons:
Leads to more code and more maintenance. Is it worth implementing ?
The text was updated successfully, but these errors were encountered:
I think this would assist package testing quite well, so I'm supportive of this. The only thing I'd like to add is that there should be a warning to the user that their old patches will get overwritten upon updating. Any hidden behaviour should be made explicit so the user isn't taken aback.
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
$HOME/.epm/patches is a git repository tracking the eta patches for
hackage ecosystem.
If the
--patches-directory
option is given, after the git pull alsocopy all the files in the patches directory to the git repository.
One cases that needs to be handled:
the --patches-directory option). In that case - unstage the uncommited
files and pull again.
Pros:
cause further
epm update
to fail because of conflict. Thisproposal if implemented, can solve it in a much more intuitive
way. (Practically, that can be solved without implementing this
option and just handling the edge case in the update command.)
Cons:
The text was updated successfully, but these errors were encountered: