Questions tagged [github]
Git repository hosting service - May be better on Web Apps or Stack Overflow
504
questions
0
votes
0
answers
14
views
Is there a way to show .mlx file on GitHub?
I created a script with Live Editor in Matlab, i.e. mlx file. I would like to push this file to my repository in GitHub in a way that people can read it without download. Is there a way ?
0
votes
1
answer
42
views
Tar extract doesn't work on Zip repos with submodules [closed]
Tar extract doesn't work on Zip repos with submodules:
curl -L https://github.com/org/repo-with-submodules/archive/refs/heads/main.zip -o ~/Downloads/repo-main.zip
tar -xvf ~/Downloads/repo-main.zip -...
0
votes
0
answers
166
views
What does gpg: skipped "user": no secret key mean?? (How to solve)?
I am doing a git commit and I am getting the following error:
gpg: skipped "user <email>": No secret key
gpg: signing failed: No secret key
error: gpg failed to sign the data
fatal: ...
1
vote
1
answer
1k
views
What to do when you get "DiscardVirtualMemory could not be located" error once GitHub Desktop is installed
This will happen to those who are still using Windows 7 for whatever good reason.
Full error message will be,
The procedure entry point DiscardVirtualMemory could not be located in the dynamic link ...
1
vote
0
answers
88
views
Cannot connect to GitHub on Mac
I'm using Mac Ventura 13.6.6 and git version 2.39.3 (Apple Git-145). Due to my location, I have to use VPNs to use Google, GitHub, etc. It has been working well.
Since several days ago, I realize that ...
1
vote
1
answer
2k
views
How to fix Github Error 403?
I want to push commits in GitHub. The url to the repository is https://github.com/ManuelaCarriero/NeuPipelines.
I used:
git commit -m "my commit" file
then:
git push -u origin main
I got ...
0
votes
0
answers
22
views
How do I monitor my hugo site deployed using github pages using custom domain using zabbix/promethus/grafana/monit?
Is it possible to do? I’d love to learn monitoring systems. I know that you need access to the linux server in order to do it. But I'd love to know if it's possible or not?
https://webapps....
0
votes
1
answer
180
views
Where to put cacert.pem certificate file so that ddev composer will use it? Getting "self signed certificate in certificate chain" error
I am using WSL2 with Ubuntu, following the procedure here: https://ddev.readthedocs.io/en/stable/users/quickstart/#__tabbed_2_2
When I get to the line ddev composer create "drupal/recommended-...
1
vote
2
answers
246
views
How to install Azure Cognitive Services Speech from source
I want to install Azure Cognitive Services Speech SDK in Python. On a Macbook, I can run:
python3 -m pip install azure-cognitiveservices-speech
and it works.
On an iMac, the same command throws:
...
0
votes
0
answers
69
views
GitHub: What is the effect of the "Ask admin for access" in Pull Requests?
I noticed that on a pull request not by oneself, and not in a repo where you have access under Reviewers there is this notice:
Still in progress? Learn about draft PRs (i)
Clicking on "Learn ...
0
votes
0
answers
9
views
Get GitHub Asciidoc to recognize a file link to a Windows NAS share
I have a Windows NAS drive that has lots of shared folders and documents, and I want to link to them from a GitHub Wiki written in Asciidoc. Intuitively, the link would be this:
link:file://my.corp....
1
vote
0
answers
47
views
Github Copilot CLI npm version vs gh cli version - what to use in future
There seem to be 2 variants of Github Copilot for CLI:
NPM: https://www.npmjs.com/package/@githubnext/github-copilot-cli
part of GH CLI: https://docs.github.com/en/copilot/github-copilot-in-the-cli/...
1
vote
1
answer
126
views
What is the likely source of unexpected clones of newly opened GitHub repo? [closed]
This is a soft-question in that the answer will necessarily either include a probabilistic break-down of likely sources, or it will be speculative.
However, I am curious to know what automated (bots), ...
0
votes
1
answer
108
views
Long time SSH key to github stops working, and now github tests welcome me as org_name/other_project
A ssh key that had once worked with Github stopped working and nothing I did would fix it. All Git requests would die with the standard git: fatal: Could not read from remote repository
In github, I ...
1
vote
1
answer
211
views
GitHub Actions Workflow: Remote server upgrade / reboot and continue to the next step
I'm in the beginning of developing a workflow yml script. The main idea is to have a manually triggered "remote server" build file, to set up all the necessary applications in a "Host ...
2
votes
0
answers
56
views
Setting GitHub Actions Secrets on Docker container build/run command, but encountering a parsing issue
I'm in the early stages of building an automated pipeline. Still in the exploring phase. Right now, I'm struggling with setting the environment variables for the container I'm going to run my app.
The ...
0
votes
0
answers
166
views
Issues with my WiFi accessing just GitHub
This happened randomly but I can't get access to GitHub. I tried using the app on my phone and logging in through my browser, through my iPad, etc. Nothing works.
I've tried pushing changes via ...
2
votes
2
answers
858
views
Pushing to a Gitea repo as a "Sign in with GitHub" user
I've set up an account on a Gitea instance using the "Sign in with GitHub" feature, and that account has been given write access to a Gitea repository. When I try to push local changes to ...
0
votes
1
answer
155
views
How to retrieve past Github GPG keys?
Github's public GPG key very recently (2024-01-16) expired.
I have deleted my locally stored public key copy of that key and cannot verify old commits of our repo.
Now to retrieve the Github public ...
0
votes
1
answer
267
views
Is it acceptable to use the masked GitHub email address when generating the SSH key for GitHub? [closed]
GitHub provides the masked address I can use in form of [email protected].
According to the website below I should start generating the key with ssh-keygen -t ed25519 -C "...
0
votes
1
answer
109
views
Exact steps for cloning KeePassXC database for correctly generating TOPT codes?
How can I migrate a KeePassXC two-factor-authentication TOPT code generation from one Linux machine to another?
This answer seems to suggest that copying the database should suffice and work out-of-...
1
vote
1
answer
220
views
Running GitHub Actions unders specific, existing Windows user
I am trying to run a GHA workflow in a GitHub-hosted runner for Windows (windows-latest) under a specific, already existing Windows user instead of the default C:\Users\runneradmin.
Options involving ...
0
votes
2
answers
225
views
How to install github cli extension in a custom folder?
I have installed github cli on my Windows 11 machine. Then I installed copilot extension by following the instruction at Github copilot extension, that is,
gh extension install github/gh-copilot
It ...
1
vote
1
answer
70k
views
What are lb-140-82-[XXX]-[XXX]-[a-z]*.github.com links?
While scanning some program network activity, I've found that it sends a request to lb-140-82-121-3-fra.github.com. After a quick search I've found out that there are more similar links. The IPs in ...
2
votes
1
answer
542
views
Connecting to github via ssh, times out without response
When I try to connect via SSH to GitHub from my Ubuntu 22.04 server (i just want to pull from a private repository) I get timeout.
I've seen similar questions to mine but non of the possible solutions ...
1
vote
0
answers
1k
views
how to see tags for all commits in git-log from range of tags
I'm creating a changelog generator that works for our specific use-case.
If I'm understanding how git works, when I git log <tag> or git log <tag1>..<tag2> (or use ...) the returned ...
0
votes
1
answer
939
views
Github icon explanation [closed]
I have a question regarding the icons on the right of this photo, namely what do they mean exactly? I am talking about the green + sign in a square and the yellow dot in a square.
Can someone please ...
0
votes
0
answers
105
views
Github Change author / email of squash and merge
Unfortunately GitHub used a wrong email when I used the "Squash and Merge" function for merging a branch into another.
The commits / pushes from my working station were done with email A (...
0
votes
0
answers
47
views
Can I make a Github action to highlight parts for review, like print debug statements?
There are a couple of potential issues which I would like to get highlighted when I make a PR / read a PR on Github:
print
logger.debug
pytest.xfail
Those all have valid cases, but quite often those ...
1
vote
1
answer
5k
views
Java 17 is required instead of Java 11: Android CI-CD GitHub Actions
I have started to implement the CI-CD using GitHub Actions and integrate lint into main.yml, but I am getting errors like:
Run ./gradlew lintDebug
Downloading https://services.gradle.org/distributions/...
0
votes
2
answers
785
views
Download from github using curl and batch file
I'm currently writing a script in which I need to download the latest version of yt-dlp.exe from Github.
Since the script will need to work on multiple machines, I opted to use curl as the downloader.
...
1
vote
1
answer
85
views
git-show-branch output showing in my git prompt
When I navigate to the directory of my git repo, my command line shows me a lot of stuff. It looks like the output of git-show-branch. I've tried to edit my git config file to change the default for [...
3
votes
1
answer
172
views
Make GitHub navigation pane always visible using local JS/CSS such as GreaseMonkey
GitHub redesign of late made it much less usable since 2/3rd of screen real estate is no longer used:
If you press on hamburger menu button, a useful sidebar appears, but it would disappear if you ...
1
vote
1
answer
132
views
Where is github api reference?
I feel dumb, but I cannot find the GitHub API reference.
The https://docs.github.com/en/rest has a bunch of Guides, the "Getting started" mentions some "Rest API Reference Documentation&...
4
votes
1
answer
1k
views
Do I need two ssh keys for one account with two emails (work and personal)?
Here's my situation:
I have one GitHub account. It was always my personal account, with my personal email. Recently my company switched to GitHub and I decided to use the same account (it was allowed, ...
2
votes
1
answer
113
views
Typing backtick in GitHub on Firefox does not create a full-width character
Whenever I type backticks in the GitHub comment textbox, the next character will always be shown in the same spot as the backtick, as if the width of the backtick character is 0. This only happens on ...
0
votes
2
answers
736
views
Best way to automatically update docker container to latest image version from a Github action?
I have a server that I deploy many of my personal projects to. These projects are stored & built on Github and deployed automatically via Github actions. I originally did this via the SSH Deploy ...
0
votes
1
answer
370
views
Why did GitHub site change?
Some time ago (long enough that I have forgotten the details), I successfully set up SSH authentication for my GitHub repository (along with corresponding keys in RStudio). It worked fine.
But ...
1
vote
1
answer
144
views
How can I jump to Firefox's search field when browsing on github.com?
Firefox 111.0-1
OS: linux 6.2.6.arch1-1
If I am browsing on github.com and hit CTRL + K, using the browser's search will not work.
Hitting CTRL+K the first time opens up some spotlight-/albert-like ...
4
votes
0
answers
704
views
How to disable github device tracking and email verification on signin without 2FA? [closed]
2FA is already disabled, Github is asking for email on every signin.
I am traveling for the next few years so nearly every time I sign in will be from a different location, device, or even country. I ...
0
votes
1
answer
2k
views
How can I create .exe file from github repository?
I have a question about this repository, I downloaded the zip source code from this link, I edited the bestStream.txt file in the config folder, and now I want to create an .exe file (like the one in ...
0
votes
1
answer
1k
views
Unauthorized access to Github
I am trying to build the application Roda and following this guide: https://github.com/keeps/roda/blob/master/documentation/Developers_Guide.md
After some time I run into this:
[ERROR] Failed to ...
0
votes
1
answer
335
views
gh (GitHub's CLI): the -w flag no longer opens a browser window from WSL
I'm on Windows 10 Pro, I run headless Ubuntu in WSL and in Ubuntu I run this command:
gh pr create -w
Initially, the -w flag used to open a create PR link in the browser on the host OS.
But it no ...
1
vote
0
answers
13
views
Any Chrome extention to hide seleted GitHub issue and remember rule when back? [closed]
Sometimes I need review issues in a GitHub repo to learn examples and experience.
Since there are so many issues, I want to mark some of the issues as useless, some are importance or add some icon to ...
0
votes
1
answer
209
views
Is there a way to find out which of my github repositories have github pages enabled?
I don't want to check 200+ repositories manually, and I'm not seeing anything in gh documentation how to get it from the API.
Is there any automated way to get this information?
1
vote
0
answers
71
views
`git push` behavior differs according to my "login directory" using VSCode Remote SSH
I'm using VSCode's Remote SSH utility to access a VM hosted on Google Cloud. My local machine is a Mac.
There, I have a few GitHub repositories I'm working on. I had some issues yesterday and ended up ...
0
votes
1
answer
231
views
Is there any way to activate IntelliSense for TypeScript files in github.dev?
This morning I came across github.dev.
It looks very promising, but what I'd really like to use it for is TypeScript with active IntelliSense.
I can see that github.dev can create new .ts files.
But, ...
0
votes
1
answer
232
views
Easy way to include screenshots in PRs via githubs `gh` CLI?
I write PRs on a daily basis. Lately I've been using the GitHub CLI to do things like gh pr create on the command line and then write the body in my favorite editor.
Sadly, I almost always want to ...
0
votes
1
answer
2k
views
git trying to push non existent file
Im trying the following command:
$ git push --set-upstream origin patch-cleanfiles
Enumerating objects: 336, done.
Counting objects: 100% (336/336), done.
Delta compression using up to 4 threads
...
0
votes
1
answer
1k
views
Change Git user in terminal
I am trying to push some commits in a repo as a collaborator. But once I push the commit, Git throws an error where it shows the push was trying to do with my old account which is not authorized for ...