Skip to content
This repository has been archived by the owner on Jul 1, 2021. It is now read-only.

Split and merge #465 to master #488

Closed
7 tasks done
ChihChengLiang opened this issue Apr 7, 2019 · 0 comments
Closed
7 tasks done

Split and merge #465 to master #488

ChihChengLiang opened this issue Apr 7, 2019 · 0 comments
Labels

Comments

@ChihChengLiang
Copy link
Contributor

ChihChengLiang commented Apr 7, 2019

What is wrong?

As #465 getting fat and the exploration is nearly maximized, it's time to split it to smaller PRs and merge them back to master.

How can it be fixed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

No branches or pull requests

1 participant