Merge branch 'stable-2.14'

* stable-2.14:
  Update bazlets to latest revision on stable-2.14 to use 2.14.8 API
  Configure allowed SSH commands

Change-Id: I2ec180402413f24f9b6cda97d18bf2e795afef58
diff --git a/WORKSPACE b/WORKSPACE
index 26d095b..3cea0d8 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -3,7 +3,7 @@
 load("//:bazlets.bzl", "load_bazlets")
 
 load_bazlets(
-    commit = "80add197d1cb9a89fa906dde2d26d804697517f6",
+    commit = "df6622a4e725b4d0bad99377f05749171a8c94b9",
     #    local_path = "/home/<user>/projects/bazlets",
 )