Jake Wharton
Jake Wharton
Also need * `github/clone/repos.1.txt` * `github/archive/repos.1.txt` (for #3)
More to think about, there's at least three cases to handle: 1. The repo was unstarred/unwatched in which case we want it removed. 2. The repo was moved in which...
The behavior of 3 is annoying for forks in which case you only want to send a PR and then later delete. Not sure what to do about it. That's...
Bootstrap 417663b07f3e723acf33817e0cdd2845467b1487
Cool, but where the hell in the graph is it and why is it my problem?
Probably https://github.com/libgit2/libgit2/issues/5525
Still a problem after git2 upgrade
one config proposal: ```toml version = 0 [[github]] host = "github.com" # default user = "JakeWharton" token = "123" [github.clone] watched = true [[github]] host = "github.example.com" user = "jw"...
a bonus to the one-config approach, if you have multiple user accounts, for whatever reason, this would also help you
Blocked by #1