facebook / facebook/watchman

bug: subscription not canceled when its relative_root is renamed/deleted

Open
#610 4 comments 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
13.7k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

Subscriptions *without* a `relative_root` are canceled when renamed or deleted.

Subscriptions *with* one are **not** canceled when renamed or deleted.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.