website: update configs/docs to point at the libra repo

Closes: aptos-labs#5923

developers.libra.org/CONTRIBUTING.md

@@ -22,7 +22,7 @@ For detailed guidance on how to contribute to the Libra Core codebase refer to [
 
 ## Documentation
 
-All developer documentation is published on the Libra developer site. The developer site is open source, and the code for building the site is located in this [repository](https://github.com/libra/website/). The developer site is built using [Docusaurus](https://docusaurus.io/).
+All developer documentation is published on the Libra developer site. The developer site is open source, and the code for building the site is located in this [repository](https://github.com/libra/libra/developers.libra.org). The developer site is built using [Docusaurus](https://docusaurus.io/).
 
 If you are familiar with Markdown, you can start contributing!
 

developers.libra.org/website/README.md

@@ -44,9 +44,9 @@ unzip libra.zip
 
 ## Publishing
 
-The site is hosted on GitHub pages, via the `gh-pages` branch of the `website'
-[GitHub repo](https://github.com/libra/website).
+The site is hosted on GitHub pages, via the `gh-pages` branch of the `libra'
+[GitHub repo](https://github.com/libra/libra/developers.libra.org).
 
-The website is automatically built and published from CircleCI - see the
-[config file](https://github.com/libra/website/blob/master/.circleci/config.yml)
+The website is automatically built and published from GitHub Actions - see the
+[config file](https://github.com/libra/libra/blob/master/.github/workflows/developer-site-deploy.yml)
 for details.

developers.libra.org/website/siteConfig.js

@@ -32,7 +32,7 @@ const siteConfig = {
 
   // used for publishing and more
   organizationName: 'libra',
-  projectName: 'website',
+  projectName: 'libra',
 
   // links that will be used in the header navigation bar
   headerLinks: [
@@ -123,7 +123,7 @@ const siteConfig = {
   docsSideNavCollapsible: false,
 
   // URL for editing docs
-  editUrl: 'https://github.com/libra/website/edit/master/docs/',
+  editUrl: 'https://github.com/libra/libra/edit/master/developers.libra.org/docs/',
 
   // Open Graph and Twitter card images
   ogImage: 'img/libra.png',