New answers tagged github
Score of -2
-2
votes
Show CI/CD Status overview of all repositories
Maybe give https://github.com/pushtodisplay/action a shot.
It's a GitHub Action that pushes content to devices(iOS, Android) screen via PushToDisplay app.
It's a way to consolidate all the action ...
Score of 1
1
vote
Given a multi-commit PR, how to go from a file in "Files changed" to the commit(s) where that file was changed?
1 parent f09500b commit b87bdb9
So... the commit you are dealing with is, from git's POV, a straight non-merge commit... what is also known as a "squash merge", given that it's a commit ...
Score of 0
0
votes
How to keep "git pull" from deleting local files
I am late with the answer but I had the same issue on Windows when running git pull:
Deletion of directory '...' failed. Should I try again? (y/n)
In my case, the pull was blocked because Git could ...
Score of -1
-1
votes
How to skip linting when particular microservices folder have changes in README? If another have code changes then it will run
You wrote github.second_name and github.second.pull_request.base.sha, but the contexts are github.event_name and github.event.pull_request.base.sha.
base: ${{ github.event_name == 'pull_request' &&...
Score of 1
1
vote
Switched branch without commiting changes, 'error: Could not write index. FullHarvest_Daph (MajorPush-1)/Packages/manifest.json: needs merge'
I just had the same error message with git 2.47.3 when a file needed a merge and git stash was unable to perform.
The error message "could not write index" makes a more important impression ...
Score of 0
0
votes
GitHub Actions iOS build fails with “Exit status 65” – works locally with Xcode 16.1
The issue is between your local Xcode (26.1) and what the workflow forces in CI (xcode-version: '16.1' on macos-14, per your own commented-out note). That's a huge SDK gap, and it's a common cause of ...
Score of 0
0
votes
Error "The authenticity of host 'github.com' can't be established. RSA key fingerprint "
Visit https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/githubs-ssh-key-fingerprints, verify that there are no SSL errors loading the page, locate the code block with ssh ...
Score of 0
0
votes
Github CLI or API, can I see which commit a Github Action workflow was run on?
Yes, this is what the -c flag in the github CLI tool does. If you don't have the run id, you can use gh run list -c <commit hash> to find all workflow runs associated with that commit
Score of 0
0
votes
How can I check out a GitHub pull request with Git?
You can make checking out PRs convenient with Git aliases:
git config --global alias.pr \
'!f() { git fetch origin +pull/$1/head:pr-$1 && git switch pr-$1; }; f'
git config --global alias....
Score of 3
3
votes
GNU repo contains apparent ghost import
As phd's answer correctly states, funcs.h is generated during the build process.
Typically, if you build a software package from a source tarball, the build sequence is something very similar to this:
...
Score of 6
6
votes
Accepted
GNU repo contains apparent ghost import
This is how the file is generated in different Makefiles:
Makefile.aut:
funcs.h: ${SRC:%=${srcdir}/%}
-mv -f ${srcdir}/funcs.h ${srcdir}/funcs.h.old
grep -h '^public [^;]*$$' ${SRC:%=${srcdir}/...
Score of 0
0
votes
Git keeps prompting me for a password
Maybe, GCM (Git Credential Manager) is frustrating you, as it surely did to me!
GCM has a feature called gitHubAccountFiltering and tries to strictly filter and match which GitHub account or token ...
Score of 2
2
votes
How to indicate "everyone" in a Github CODEOWNERS file?
Just list the filename, with nothing after it:
From the documentation:
# In this example, @octocat owns any file in the `/apps`
# directory in the root of your repository except for the `/apps/github`
...
Score of 0
0
votes
Workflow not showing up in GitHub Actions
Once all the other possible reasons are singled out, there is still apparently a real bug in github workflow registration which manifests as new workflows created via the web UI showing up just fine, ...
Score of 0
0
votes
How to commit and push file from different directory to the same repository in github
git add --work-tree=/the/other/directory file1 file2
Will add file1 and file2 from another directory as if they were in the current directory.
Score of 1
1
vote
Accepted
Why isn't $badrule working with the domain= option?
The part you quoted is regarding the existing filter. And above that, it says,
any filter which fulfills ALL the following conditions
and one of the conditions is "Does have a domain= option&...
Score of 0
0
votes
Why IntelliJ Idea has greyed option to drop, squash commits, etc.?
Another useful thing you can do is enable the Status Text option in the bottom status bar - right-click > Status Text. Then hover over the disabled (greyed out) option, and the status bar will show ...
Score of 2
2
votes
Accepted
False alignment rendering in GitHub
GitHub only uses MathJax to convert TeX to MathML on the server, so MathJax doesn't actually produce the output in the browser. That is done by the browser's native MathML support. Most browsers ...
Score of 0
0
votes
Why IntelliJ Idea has greyed option to drop, squash commits, etc.?
IntelliJ Idea fetches the branch protection rules and applies them.
Remove the branch name(s) from the protected list in in Settings | Version Control | Git.
Score of 0
0
votes
Git push requires username and password
Use this format:
git push https://USERNAME:[email protected]/USERNAME/REPOSITORY.git
Example:
git push https://john:[email protected]/john/my-project.git
For an existing remote:
git remote ...
Top 50 recent answers are included
Related Tags
github × 58080git × 29210
github-actions × 4194
github-api × 2200
github-pages × 2028
version-control × 1966
python × 1947
ssh × 1406
repository × 1325
jenkins × 1319
pull-request × 1259
javascript × 1249
gitlab × 1203
android × 1081
java × 1072
node.js × 1006
bitbucket × 934
html × 908
continuous-integration × 859
heroku × 819
merge × 795
reactjs × 778
markdown × 743
docker × 677
visual-studio-code × 665