-
Notifications
You must be signed in to change notification settings - Fork 130
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
Remove deprecated python-teos submodule, use rust-teos instead #478
Remove deprecated python-teos submodule, use rust-teos instead #478
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Needs rebase
23d5bb3
to
70ab474
Compare
Pull request has been modified.
70ab474
to
ba9ff58
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Neither rust-teos
nor python-teos
are plugins, let's just remove them.
watchtower-client
is already on the list, just keep it as is except call it watchtower-client
where it's currently watchtower
ba9ff58
to
5eea140
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ACK 5eea140
I vote in favor to have watchtower-client
to have in, also rust-teos
was a good name but nevermind it is a minors things
Looks great, thanks @seberm ! @vincenzopalazzo looks like you can merge things! |
Remove the
python-teos
submodule and replace it bywatchtower
which links to rust-teos.See (https://github.com/talaia-labs/python-teos#state-of-the-project):
See also: 5f656a1 - Replaces python-teos by rust-teos