update api

Author: jph00

90_build_lib.ipynb

@@ -74,7 +74,7 @@
     "#|export\n",
     "_lu_type = dict(zip(\n",
     "    'NA string object array boolean number integer'.split(),\n",
-    "    map(PrettyString,'object str dict list bool number int'.split())\n",
+    "    map(PrettyString,'object str dict list bool int int'.split())\n",
     "))\n",
     "\n",
     "def _detls(k,v):\n",

ghapi/build_lib.py

@@ -18,7 +18,7 @@
 # %% ../90_build_lib.ipynb 6
 _lu_type = dict(zip(
     'NA string object array boolean number integer'.split(),
-    map(PrettyString,'object str dict list bool number int'.split())
+    map(PrettyString,'object str dict list bool int int'.split())
 ))
 
 def _detls(k,v):

ghapi/metadata.py

@@ -873,7 +873,7 @@
  ('/repos/{owner}/{repo}/pages/builds', 'post', 'repos/request-pages-build', 'Request a GitHub Pages build', 'rest/pages/pages#request-a-apiname-pages-build', [], [], ''),
  ('/repos/{owner}/{repo}/pages/builds/latest', 'get', 'repos/get-latest-pages-build', 'Get latest Pages build', 'rest/pages/pages#get-latest-pages-build', [], [], ''),
  ('/repos/{owner}/{repo}/pages/builds/{build_id}', 'get', 'repos/get-pages-build', 'Get GitHub Pages build', 'rest/pages/pages#get-apiname-pages-build', [], [], ''),
- ('/repos/{owner}/{repo}/pages/deployments', 'post', 'repos/create-pages-deployment', 'Create a GitHub Pages deployment', 'rest/pages/pages#create-a-github-pages-deployment', [], [['artifact_id', number], ['artifact_url', str], ['environment', str, 'github-pages'], ['pages_build_version', str, 'GITHUB_SHA'], ['oidc_token', str]], ''),
+ ('/repos/{owner}/{repo}/pages/deployments', 'post', 'repos/create-pages-deployment', 'Create a GitHub Pages deployment', 'rest/pages/pages#create-a-github-pages-deployment', [], [['artifact_id', int], ['artifact_url', str], ['environment', str, 'github-pages'], ['pages_build_version', str, 'GITHUB_SHA'], ['oidc_token', str]], ''),
  ('/repos/{owner}/{repo}/pages/deployments/{pages_deployment_id}', 'get', 'repos/get-pages-deployment', 'Get the status of a GitHub Pages deployment', 'rest/pages/pages#get-the-status-of-a-github-pages-deployment', [], [], ''),
  ('/repos/{owner}/{repo}/pages/deployments/{pages_deployment_id}/cancel', 'post', 'repos/cancel-pages-deployment', 'Cancel a GitHub Pages deployment', 'rest/pages/pages#cancel-a-github-pages-deployment', [], [], ''),
  ('/repos/{owner}/{repo}/pages/health', 'get', 'repos/get-pages-health-check', 'Get a DNS health check for GitHub Pages', 'rest/pages/pages#get-a-dns-health-check-for-github-pages', [], [], ''),