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

Improve QQ Bot #259

Open
2 of 4 tasks
niltok opened this issue Mar 15, 2021 · 6 comments · Fixed by #257
Open
2 of 4 tasks

Improve QQ Bot #259

niltok opened this issue Mar 15, 2021 · 6 comments · Fixed by #257
Assignees
@niltok
Labels
tools Non major stuffs

Comments

@niltok
Copy link
Collaborator

niltok commented Mar 15, 2021 •
edited
Loading

  • store all file & get history
  • build time / version info
  • repl session (wait for official repl api support
  • interactive edit history (but it's a little bit useless
@niltok niltok self-assigned this Mar 15, 2021
@ice1000 ice1000 added the tools Non major stuffs label Mar 15, 2021
@niltok niltok linked a pull request Mar 15, 2021 that will close this issue
QQ bot #257
Merged
@ice1000 ice1000 reopened this Mar 17, 2021
@ice1000
Copy link
Member

ice1000 commented May 22, 2021

Hello?

@ice1000
Copy link
Member

ice1000 commented Sep 18, 2021

I'm closing this as stale. The qqbot seems no longer worked on.

@ice1000 ice1000 closed this as completed Sep 18, 2021
@re-xyr
Copy link
Member

re-xyr commented Sep 18, 2021

But do you still except it to be done?

@ice1000
Copy link
Member

ice1000 commented Sep 18, 2021

But do you still except it to be done?

Of course.

@re-xyr
Copy link
Member

re-xyr commented Sep 18, 2021

Then we can just keep it open and see if someone takes it.

@ice1000
Copy link
Member

ice1000 commented Sep 18, 2021

Then we can just keep it open and see if someone takes it.

Good idea

@ice1000 ice1000 reopened this Sep 18, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@niltok niltok

Labels
tools Non major stuffs
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

QQ bot aya-prover/aya-prover-proto
3 participants
@ice1000 @niltok @re-xyr