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.

Sign up for GitHub

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

Jump to bottom

Rename watch to listen everywhere (finish #583) #592

Merged

blythed merged 1 commit into superduper-io:main from rec:watch-3

Aug 1, 2023

Contributor

rec commented Aug 1, 2023 •

edited

Loading

Everywhere except one key place where it cannot be changed, it turns out.

rec requested a review from blythed

August 1, 2023 18:50


          Rename watch to listen everywhere (finish #583)

98361e7

Contributor Author

rec commented Aug 1, 2023

I'll be back after provender to check this out.

blythed approved these changes

View reviewed changes

blythed merged commit ea22e4b into superduper-io:main

rec deleted the watch-3 branch

August 2, 2023 09:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet