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.

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

[WIP][Core] Rename the Fisherman actor to Watcher #967

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

[WIP][Core] Rename the Fisherman actor to Watcher #967

wants to merge 3 commits into from

Commits on Aug 3, 2023

  1. Rename all instances of 'fisherman' to 'watcher'

    @0xRampey
    0xRampey committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    f82fd93 View commit details
    Browse the repository at this point in the history

  2. Recompute hardcoded test values

    @0xRampey
    0xRampey committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    5c3ceb9 View commit details
    Browse the repository at this point in the history

  3. Update build files

    @0xRampey
    0xRampey committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    16bcacb View commit details
    Browse the repository at this point in the history