github
github CODEOWNERS: Disable email notifications for default owners
The CODEOWNERS notification system can not be turned off. But you can turn off all notification from a repository from the repository settings.
Is there any way to disable GitHub Copilot comment suggestions?
I was annoyed at this too, and failed to find a decent automated solution anywhere on the web. So, I wrote a VSCode extension that watches the TextMate scopes wherever your active selection is, and if it detects a scope that contains comment, temporarily disables Copilot’s inline suggestions until your caret is anywhere without a … Read more
Installing ssh-keyscan on Alpine linux?
This took way too long to find out as its not documented anywhere: apk update && apk add openssh or alternatively: apk add -qU openssh
How do I add my Stack Overflow reputation as a live badge on GitHub?
Another easy solution is to use the flair feature that’s built into Stack Exchange: Edit your profile Click on “Flair” in the sidebar: Copy the HTML shown on that page and paste it into your README.md By default, flair images look like this: There are options on the flair page for changing the theme as … Read more
How to remove “generated from” tag?
I had the same problem and at the time for writing this answer, there is no option of removing this from Github. So removed this tag by deleting the repository from Github and recreating a new one with the same name. ⚠️ This operation will preserve only the information stored in git, not all other … Read more
Download latest GitHub release
You don’t need any scripting to generate a download link for the latest release. Simply use this format: https://github.com/:owner/:repo/zipball/:branch Examples: https://github.com/webix-hub/tracker/zipball/master https://github.com/iDoRecall/selection-menu/zipball/gh-pages If for some reason you want to obtain a link to the latest release download, including its version number, you can obtain that from the get latest release API: GET /repos/:owner/:repo/releases/latest Example: $.get(‘https://api.github.com/repos/idorecall/selection-menu/releases/latest’, … Read more
Can I create a github repository named the same as one that existed but was deleted?
You certainly should be able to create a new one with the same name. I’m fairly sure I’ve done this before. I’d leave it for 5/10 minutes and try again if I were you.