doc: add missing "is" to bors config
-# this the status which is generated by depending on every other job near the
-# end of workflow. for bors documentation please see https://bors.tech; the
+# this is the status which is generated by depending on every other job near
+# the end of workflow. for bors documentation please see https://bors.tech; the
# most useful command is "bors r+". The reviewers are configured manually via
# bors-ng dashboard.
status = ["ci"]
