mirror of
https://github.com/tiennm99/is-a-dev.git
synced 2026-05-14 08:58:25 +00:00
29 lines
1.0 KiB
Markdown
29 lines
1.0 KiB
Markdown
# For github pages
|
|
|
|
### Creating a github pages repo
|
|
You can create a github pages website by creating a repo with the name `<your-github-username>.github.io`.
|
|
For more information about github pages, please read through [their guide](https://guides.github.com/features/pages/).
|
|
|
|
|
|
### Domains file
|
|
Create a json file inside the `domains` directory (`domains/<subdomain>.json`) with the following contents
|
|
```json
|
|
{
|
|
"description": "Add some description",
|
|
"repo": "https://github.com/github-username/github-username.github.io",
|
|
"owner": {
|
|
"username": "github-username",
|
|
"email": "any@email",
|
|
"twitter": "your-twitter-username"
|
|
},
|
|
"record": {
|
|
"CNAME": "github-username.github.io"
|
|
}
|
|
}
|
|
```
|
|
|
|
### Configuring your repo
|
|
* After the pull request is merged, you will see a 404 error on `your-domain.is-a.dev`. To fix this go to your github page repo's `Settings > Github pages > Custom domain` and add `your-domain.is-a.dev` in the given field
|
|
* Check the `Enforce HTTPS` checkbox below the custom domain input
|
|
|