[PR #69] [MERGED] Add anchors to headers using anchor.js #48

New Issue

giteasync · 2025-09-10T22:50:05-05:00

giteasync commented

2025-09-10 22:50:05 -05:00

📋 Pull Request Information

Original PR: https://github.com/VSCodium/vscodium.github.io/pull/69
Author: @evebyte
Created: 12/7/2022
Status: ✅ Merged
Merged: 7/12/2023
Merged by: @paulcarroty

Base: master ← Head: add_anchors

📝 Commits (1)

baf38f9 added anchors to headers using anchor.js

📊 Changes

2 files changed (+22 additions, -0 deletions)

View changed files

📝 _includes/css/main.css (+9 -0)
📝 index.html (+13 -0)

📄 Description

Hi,

I noticed the website is missing anchors on the headers, so I added them using anchor.js.

This should help people deep link installation instructions.

PS
This is my first FOSS contribution, if you have any notes or feedback it would be appreciated :-)

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/VSCodium/vscodium.github.io/pull/69 **Author:** [@evebyte](https://github.com/evebyte) **Created:** 12/7/2022 **Status:** ✅ Merged **Merged:** 7/12/2023 **Merged by:** [@paulcarroty](https://github.com/paulcarroty) **Base:** `master` ← **Head:** `add_anchors` --- ### 📝 Commits (1) - [`baf38f9`](https://github.com/VSCodium/vscodium.github.io/commit/baf38f9fd50e2977468033f5c0f0719ee8ca0af2) added anchors to headers using anchor.js ### 📊 Changes **2 files changed** (+22 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `_includes/css/main.css` (+9 -0) 📝 `index.html` (+13 -0) </details> ### 📄 Description Hi, I noticed the website is missing anchors on the headers, so I added them using anchor.js. This should help people deep link installation instructions. PS This is my first FOSS contribution, if you have any notes or feedback it would be appreciated :-) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

giteasync added the pull-request label 2025-09-10 22:50:05 -05:00

giteasync closed this issue

2025-09-10 22:50:05 -05:00

giteasync referenced this issue

2025-09-10 22:50:09 -05:00

[PR #48] [CLOSED] Use `extrepo` to add Debian repo #61

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: VSCodium/vscodium.github.io#48