diff --git a/Home.md b/Home.md index 8f4fbeb..21ce18b 100644 --- a/Home.md +++ b/Home.md @@ -93,3 +93,4 @@ Version number for non-releases - v2.0.0.-devNNN, **use v2.0.0-dev5ec367f** 7 chars **Note**: we must make sure that only trusted PRs get deployed, because anybody can make a PR +**Note**: Jenkins says it cannot update commit status: "Resource not accessible by personal access token"