)]}'
{
  "id": "f58a3ed722334902f18adad2bd5f2ecde26adb4d",
  "repo": "external/github.com/pwnall/sqlite",
  "revision": "refs/heads/alter-table-rename-column",
  "path": "src/sqliteInt.h"
}