Skip to content
This repository was archived by the owner on Sep 23, 2020. It is now read-only.

Conversation

@pull
Copy link

@pull pull bot commented Dec 24, 2019

See Commits and Changes for more details.


Created by pull[bot]. Want to support this open source service? Please star it : )

@pull pull bot added the ⤵️ pull label Dec 24, 2019
@pull pull bot added the merge-conflict Resolve conflicts manually label Feb 19, 2020
@BenMorel BenMorel force-pushed the master branch 2 times, most recently from 490a6f6 to 790a821 Compare December 14, 2020 23:08
@BenMorel BenMorel force-pushed the master branch 2 times, most recently from a7bc9a2 to 9e6a3e8 Compare December 24, 2020 14:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⤵️ pull merge-conflict Resolve conflicts manually

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants