Questions tagged [github]
Hosting service for software projects using the Git revision control system. For questions about using GitHub web interface such as: how to use its search, pushing your branch or repository, wiki page formatting and directories, and syntax highlighting on README files.
412 questions
1
vote
0
answers
9
views
undo changes made to an issue / pull request
github has a 'edits' button which allows you to see changes made to various things like issues and pull requests:
is there any way to 'apply' these changes, and rollback to a previous version of an ...
2
votes
0
answers
15
views
See what issues reference particular GitHub repo's source files' lines?
How do I see what issues reference particular lines of a particular source file in a GitHub repo (something kinda analogous to what git blame does, but for issues, not commits)?
3
votes
0
answers
29
views
How to undo GitHub notifications bulk unsubscribe?
I accidentally unsubscribed, by selecting-all on the notifications in my inbox and clicking the unsubscribe button:
For some repos here at my GitHub Notifications.
How do I undo this? Is there a way ...
1
vote
0
answers
23
views
Getting "Error: Failed to create the issue" on GitHub
I'm trying to report an issue on a GitHub repository (this one), but am getting:
Error
Failed to create the issue.
Why am I getting that? Why does it not specify the error?
0
votes
1
answer
75
views
Why do I not get Github notifications?
When I create issues on GitHub repos, I do not get email notifications from GitHub upon comment or update, even though bottom right corner shows me as Subscribed and in my account settings I have my ...
0
votes
0
answers
26
views
How to sync (update) all forked repositories in a GitHub account?
In the GitHub web-app, how does one sync (update) all forks in their account so that each branch is up-to-date with its upstream repository? Only branches that are behind in commits, and not ahead in ...
3
votes
1
answer
858
views
What does "Attach to current thread" mean?
While reviewing a PR, click on the files tab, and then click on any difference line. Copilot dropdown pops-up at the end of the line and we have two options.
I clicked on Attach to current thread ...
0
votes
0
answers
37
views
In GitHub notifications how can I filter based on if merged in?
Curious to know in Github Notifications is there a way to filter is:unread with the params of isMerged?
Didn't see anything when searching under the documentation:
About notifications
Managing ...
2
votes
1
answer
129
views
How can I redirect from a Github repository to another code hosting page?
I have moved a project from Github to another code hosting page (in this case Codeberg). What's the best way to redirect users to the new repository? At https://www.erat.org/codeberg.html I have found ...
1
vote
0
answers
256
views
Why can't I anonymize this repo on https://anonymous.4open.science/?
I'd like to anonymize the repo https://github.com/PGraphRAG-benchmark/PGraphRAG on https://anonymous.4open.science/ but it's giving me this error:
https://github.com/PGraphRAG-benchmark/PGraphRAG ...
1
vote
2
answers
438
views
How can I check which third-party apps and websites have access to my Github account?
I am wondering how I can access a page that lists all accounts that I have given permission to access my Github account.
I want to review them and remove access for any I no longer use.
0
votes
0
answers
91
views
How to clone GitHub Wiki images that were auto-pasted?
I'm using GitHub Wiki pages. I'm using Asciidoc, but I don't think that matters. When I drop an image into the Wiki editing area, it makes a URL like this:
https://github.mycompany.com/ORG/...
0
votes
1
answer
347
views
how to find list of contributors in git repo for a particular folder from begining of the repo
I have a situation, where I want to segregate the folder structures depending on the frequency and contributors of a particular folder from a repo. And, create separate repos
0
votes
1
answer
486
views
How can one delete several files at once in GitHub (online, via browser)?
I know one can delete one file in GitHub online via browser using:
but I wonder how one can delete several files at once in GitHub (online, via browser).
1
vote
1
answer
557
views
How to stop GitHub CI failure notification emails (only)
How can I stop GitHub from spamming me email notifications about a failed CI job, without stopping all other email notifications?
I own a repo on GitHub that has frequent builds that fail. It's ...