mirror of
https://github.com/tubearchivist/browser-extension.git
synced 2026-03-23 20:37:07 +00:00
[PR #6] [MERGED] change "Tube Archivist IP" to "Tube Archivist URL" #41
Labels
No labels
bug
bug
duplicate
enhancement
help wanted
invalid
not an issue
not an issue
pull-request
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
tubearchivist/archived-browser-extension#41
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/tubearchivist/browser-extension/pull/6
Author: @bakkot
Created: 10/27/2022
Status: ✅ Merged
Merged: 11/28/2022
Merged by: @bbilly1
Base:
master← Head:patch-1📝 Commits (4)
d5f5557change "Tube Archivist IP" to "Tube Archivist URL"afbcb57use full url4ea141ctypos25dd6dbfix it better📊 Changes
3 files changed (+18 additions, -11 deletions)
View changed files
📝
extension/background.js(+1 -1)📝
extension/index.html(+2 -4)📝
extension/popup.js(+15 -6)📄 Description
Saying "IP" is confusing when a.) it can be a domain name, not an IP and b.) it's supposed to include the HTTP part, not just a bare IP. (It's also documented as "URL" in the readme.)
Honestly it's a bit weird to have the protocol and domain in one place and the port in a different field. Is there a reason not to just have one field that expects something like
http://tubearchivist.local:8000, i.e. a full URL as you'd have in the browser? I can make that change instead if you'd prefer.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.