)]}'
{
  "id": "42e1785d59fe8b897dfa47c29639fe1d4abc8491",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/extensions/source/dbpilots/dbpilots.src"
}