Skip to content
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

Add new 3-way merge to Elektrad #3252

Closed
raphi011 opened this issue Nov 19, 2019 · 3 comments
Closed

Add new 3-way merge to Elektrad #3252

raphi011 opened this issue Nov 19, 2019 · 3 comments
Assignees
Labels

Comments

@raphi011
Copy link
Contributor

raphi011 commented Nov 19, 2019

Always merge with 'ours'

@raphi011 raphi011 self-assigned this Nov 19, 2019
@dominicjaeger dominicjaeger self-assigned this Nov 19, 2019
@markus2330
Copy link
Contributor

As discussed with @raphi011 this will be done in December.

@Chemin1 the PR is not merged yet, so it is not yet an existing tool. So nothing to be done by you now.

@stale
Copy link

stale bot commented Apr 20, 2021

I mark this issue stale as it did not have any activity for one year. I'll close it in two weeks if no further activity occurs. If you want it to be alive again, ping the issue by writing a message here or create a new issue with the remainder of this issue.
Thank you for your contributions 💖

@stale stale bot added the stale label Apr 20, 2021
@stale
Copy link

stale bot commented May 5, 2021

I closed this issue now because it has been inactive for more than one year. If I closed it by mistake, please do not hesitate to reopen it or create a new issue with the remainder of this issue.
Thank you for your contributions 💖

@stale stale bot closed this as completed May 5, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants