Via https://dev.to/devmercy/four-ways-to-solve-the-remote-origin-already-exists-error-1f2
git remote remove origin
git remote set-url origin https://github.com/newgit/url.git
Or, we can, instead of removing the URL called origin, rename it,
git remote rename origin backup
Or we might have already set the origin correctly, which we can then check using
git remote -v
which will list all remotes.
Valueresearch has a good guide on what to keep ready, at https://www.valueresearchonline.com/stories/224462/income-tax-return-filing-preparation/
Refreshed a github personal access fine-grained token by logging on to the relevant account and going to https://github.com/settings/personal-access-tokens/
For uploading files to a repository, the permissions needed are:
User permissions: None
Per-repository permissions: (for the relevant repo)
Read access to metadata
Read and write access to actions, code, and workflows.
The post about google apps script code to auto-upload to github-pages is at https://hnsws.blogspot.com/2024/03/workaround-for-cors-errors-on-api-calls.html
I was curious to know how Jenkins CI/CD works with Github, similar to what is seen on the OpenSpace repository. So one way is to use webhooks, as detailed in this guide,
Complete Step-by-Step Jenkins CICD with GitHub Integration | by Mudasir | Medium
We can virtualize a Raspberry Pi with UTM, but need old 32 bit version, since 64 bit is broken on UTM, tho' QEMU works -
Made Chatgpt write the following script. The EOF syntax is useful. In our case, we need to put in the appropriate -pPORT also.
write a bash shell script to ssh into two servers server1 and server2 with ssh keys key1.pem and key2.pem, run sudo apt upgrade on both, and show the result on the terminal.
#!/bin/bash
# Define servers and keys
SERVER1="user1@server1"
KEY1="key1.pem"
SERVER2="user2@server2"
KEY2="key2.pem"
# Function to upgrade a server
upgrade_server() {
local SERVER=$1
local KEY=$2
echo "Upgrading packages on $SERVER..."
ssh -i "$KEY" -o StrictHostKeyChecking=no "$SERVER" << 'EOF'
echo "Running apt update..."
sudo apt update
echo "Running apt upgrade..."
sudo DEBIAN_FRONTEND=noninteractive apt upgrade -y
EOF
}
# Upgrade both servers
upgrade_server "$SERVER1" "$KEY1"
echo "---------------------------------------------"
upgrade_server "$SERVER2" "$KEY2"
There was a request from one of my colleagues for suggestions - he wanted a tool to automatically let him know when some particular websites had changes. Something similar to an RSS feed for a website which doesn't have an RSS feed, I guess.
I replied that I use
https://www.followthatpage.com/
to monitor up to 20 pages for free per account per day - so if you don't want daily checks, you can add more pages, too.
There are many other "freemium" and paid options, too.
