Skip to content

Other Provider Repository#664

Merged
egekorkan merged 3 commits into
w3c:mainfrom
bobur-khay:chore/wot-wrench-repo_#655
Jul 3, 2026
Merged

Other Provider Repository#664
egekorkan merged 3 commits into
w3c:mainfrom
bobur-khay:chore/wot-wrench-repo_#655

Conversation

@bobur-khay

Copy link
Copy Markdown
Collaborator

resolves #655

Adding a separate script for codeberg takes time and effort, wouldn't put it in for one tool for now. I changed the icon of the repository for non-GitHub and non-GitLab repos.

@netlify

netlify Bot commented Jul 2, 2026

Copy link
Copy Markdown

Deploy Preview for wot-marketing canceled.

Name Link
🔨 Latest commit c930df0
🔍 Latest deploy log https://app.netlify.com/projects/wot-marketing/deploys/6a4783012959210008f236a0

@egekorkan

Copy link
Copy Markdown
Contributor

The problem is also in the git url in the script generation. I had to stop auto generation. So a note is needed for the dev tools input too.

@bobur-khay

Copy link
Copy Markdown
Collaborator Author
  1. devToolsInput.ts was pointing to a Readme file that was apparently deleted. I added a new Readme file that explains how to use the input. Also regarding the unsupported hosts.
  2. I made the types stricter so that with ignoreFetch: true all the properties must be entered manually to avoid forgotten properties.

@egekorkan

Copy link
Copy Markdown
Contributor

Thanks! Since this is a pure background work, merging now.

@egekorkan egekorkan merged commit 49ea43f into w3c:main Jul 3, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Adding codeberg to types of host

2 participants