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

[BRANCH] Change dev-> master #62

Closed
tqchen opened this issue Jun 26, 2020 · 5 comments
Closed

[BRANCH] Change dev-> master #62

tqchen opened this issue Jun 26, 2020 · 5 comments

Comments

@tqchen
Copy link
Contributor

tqchen commented Jun 26, 2020

Given that master is out-dated, let us backup the master and reset dev to master

@tqchen
Copy link
Contributor Author

tqchen commented Jul 8, 2020

@junrushao
Copy link
Member

May I work on this right now?

@tqchen
Copy link
Contributor Author

tqchen commented Jul 9, 2020

Master is backedup, will need to wait until #63 is done. I believe @spectrometerHBH is working on it

@spectrometerHBH
Copy link
Collaborator

@tqchen @junrushao1994 I've done upstream sync.

@tqchen
Copy link
Contributor Author

tqchen commented Jul 10, 2020

OK , I have reset the master to dev, I will delete the dev branch and let us PR to the master branch from now on

@tqchen tqchen closed this as completed Jul 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants