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.

Filter by
Sorted by
Tagged with
0
votes
0answers
8 views

Git - Add multiple developers as collaborators to one GitHub account

I've been given a GitHub account details of our company boss. Let's say the account's username is OneUser. For one of the repositories present in that GitHub account, we've multiple developers ...
0
votes
0answers
5 views

Wildcard search to find issues in github

I have a github issue in a repository that has a word in the title called 'proguard'. If I just type in 'guard' and press the search button github does not find my issue (if I type 'proguard' it does ...
0
votes
0answers
7 views

Does a GitHub export provide commit history?

(Via settings | account | export account data) Does it download all commit history for all your repos? Or just a snapshot of HEAD?
0
votes
0answers
5 views

How to find any string in code in GitHub repository?

I feel like this is one of those things I must be staring right at, without seeing. Using the GitHub web-app, how does one find all occurrences of a search string in the code, within a specific ...
0
votes
1answer
8 views

How to prevent that somebody can follow you on GitHub?

On GitHub it is possible that people can follow you. I wonder whether it is possible to prevent that some people can follow me. I checked whether I can click on an "unfollow" button, but that is only ...
0
votes
0answers
8 views

https://github.com/notifications/subscriptions does not list my commit comments

I've added a comment on a commit, but I do not see this comment in my subscriptions view, while github tells me that I have a subcription for this thread I regularly comment on commits, but if the ...
0
votes
0answers
8 views

Any way to make the Github comment field monospaced?

With Github being a hosting platform where you write technical things, I also found it very strange that their comment field is not monospaced (like on StackExchange). Is there a convenient way to ...
0
votes
0answers
10 views

How can I keep prevent my logins to GitHub from frequently expiring?

I have to log in to github.com very frequently. I was previously signed in on the browser, but some time in the future I'll visit GitHub again and I'm not signed in. How can I stay logged in to GitHub ...
1
vote
0answers
35 views

Remove ssh keys in github from command line

I'm creating a script in bash to install and configure all my workspace. How do I remove my ssh keys in github from command line? I already search about and found this command, but this is ...
0
votes
1answer
19 views

Does GitHub have an escape character for their markup?

Background I realize that markup is implementation without a specification but it basically is just a tiny little node stemming from SGML and the like. On GitHub I always use the ` symbol with a ...
2
votes
1answer
24 views

Search excluding file name on GitHub?

Situation: You are trying to find the usages of a feature of some common framework, and want to only find client code instead of 1000 copies of the library itself. Further compounding the problem is ...
0
votes
0answers
18 views

Using Jekyll for private website with private GitHub repo

I'd like to setup a private portal for an organisation (portal.organisation.com) for people to login and download essential internal docs etc. I figured it'd be good to use Jekyll. The site will be ...
1
vote
0answers
9 views

How to train GitHub's “explore repositories” recommendations?

I find the the "explore repositories" feature in GitHub useful to discover new tools and libraries - or at least I used to find it useful. As of mid-summer 2019 it seems GitHub changed its algorithm ...
1
vote
1answer
11 views

Can't remove an unwanted GitHub file

When I try to remove an unwanted GitHub file, the file doesn't disappear. I am following the instructions at https://help.github.com/articles/remove-sensitive-data/. Is the filename in the format /...
1
vote
0answers
13 views

Find GitHub issues I was once assigned to but not at the moment

5-6 issues were assigned to me before I went for holiday. But at the moment only one issue is assigned to me. I want to find those issues that were assigned to me. If anyone can hint me a way for it ...
0
votes
2answers
664 views

How to connect GitHub account to keybase

How to connect GitHub account to keybase? Here is why: The Big Stellar Space Drop To qualify: you must have a Keybase account registered before this announcement OR if you're new to Keybase, ...
0
votes
0answers
10 views

How to get Git commits back in the contribution section on GitHub?

My git config user.email was a different one (company's email address) when I made commits in a private repository's master branch (no PR was required to be made, I could directly push in master ...
0
votes
0answers
17 views

How to search a GitHub repo's commit history

I would like to search for the word "foo" in specific folders in a single GitHub repo. I want to see a list of historical commits to files containing this word. This way I can try and track down where ...
1
vote
1answer
24 views

Sort GitHub issues by title

It doesn't look like sort:title or sort:title-asc works Does anyone know of a way to sort within the tool?
1
vote
1answer
47 views

Does Posteo.de support Sieve/Managesieve protocol?

Posteo.de offers filters which can be configured through the web UI. This function is however lacking function of the full set of sieve features which I'd get from filters defined through a ...
3
votes
1answer
40 views

Github leaks auth keys in a “comment left via email reply”

I've noticed that once I reply to github questions via email, the reply appears on the issue page with action links (as it should be), but it also has authorization keys. Comment of an issue as seen ...
1
vote
0answers
18 views

View estimated size of GitLab repository before cloning

I would like to view the total repository size of a project hosted on GitLab without having to clone it. I was able to find one for GitHub here, but I can't figure out how to do it on GitLab. The ...
0
votes
0answers
8 views

GitHub Pages theme for slides

I'm looking for a GitHub Pages theme that will allow me to present the markdown files on the repo as slides. But, Without having to run Jekyll locally on my machine (therefore only using GHP as a ...
0
votes
0answers
14 views

Sorting github repositories by topic

I have many repositories in GitHub and I would like to somehow organize them by topic. I looked for a way to "tag" or to "group" repositories but did not find such an option. One option is to create, ...
1
vote
1answer
23 views

How many GitHub projects have merged my pull requests?

I often send pull requests to various GitHub projects, and often they merge them. For narcissistic reasons, I want to know how many projects contain some of my changes. Does GitHub have any such ...
1
vote
2answers
15 views

Get email notifications for pr's and issues on my github repo

How can I get email notifications when somebody opens an issue on a repository I own ? I have a small open source plugin I manage, and when a user reports an issue, or send a PR, it's important for ...
0
votes
0answers
6 views

Github Metadata Tags

Is there a way to get a complete list of all available metadata tags for all Github repositories, or are these metadata tags created by users on an individual repository basis?
0
votes
1answer
16 views

Are there different types of releases on GitHub?

I have just noticed that there seem to be different ways to present releases on GitHub: https://github.com/rg3/youtube-dl/releases: https://github.com/exiftool/exiftool/releases: These two ways can ...
1
vote
0answers
165 views

How to embed a Github Repo Insight page to a new Google Site?

I have a private "new google site" where I would like to have an overview of several metrics. One of them is the number of open PRs on a private repository in Github. I can insert an embed github ...
-1
votes
2answers
315 views

How accurate is GitHub traffic analytics?

It seems to me that GitHub analytics is not very accurate. I have some repositories with 1-3 visits in 14 days, and one that gets 5-20 visitors a day. Even for repositories that get little to no ...
0
votes
0answers
14 views

Any hackpad-like front ends to github?

At work, we routinely use hackpads with LaTeX mathematics like hackmd.io for documents, but they should ultimately all land on github, so it'd be easier if they started there. Is there any similar ...
0
votes
0answers
30 views

Is it mandatory to have index.html file in repository to publish on GitHub Pages?

I tried to publish a site on GitHub using GitHub Pages, but it's showing only the repository name, nothing else. Do I have to put an index.html file?
2
votes
1answer
450 views

How to remove “read” notifications?

Last week (I think), the mark all as read button vanished from my GitHub notification page, maybe for a few days. It eventually came back. But now, read notifications just accumulate in a dedicated ...
3
votes
1answer
204 views

Can you add to a Github pull request after the source repo is deleted?

I've opened a pull request (PR) on a repo, but then managed to accidentally delete the branch I initiated the request from. The maintainer of the project has requested I make a couple changes.. now I'...
1
vote
4answers
381 views

How can I delete my posted issue on GitHub?

I posted an issue on GitHub and I'm thinking, if I want to delete it, how can I do it?
2
votes
1answer
98 views

GitHub markdown shortcut to treat text as code?

While writing an issue in a GitHub repository, how can I: Select a piece of text And press something so that it is treated as code? For example, here in Stack Exchange I can select a piece of text ...
140
votes
6answers
83k views

GitHub - What's this “Pro” tag on my profile?

I logged into GitHub today and found something new I hadn't seen before: What is this, and why did it begin to appear?
67
votes
0answers
5k views

What does a star with PRO in purple mean in a GitHub user account profile? [duplicate]

I just saw this on a GitHub account, but I have no idea what it means. How do I get one of these?
3
votes
1answer
414 views

Why do my commits on GitHub look different?

Originally my commits would just say "Username committed...", but now they say "Username authored and committed...", and it appears gray and no longer lists me as a contributor. It lists me as both ...
1
vote
1answer
34 views

How can I get GitHub's files with a specific extension?

I am working on a project about R's language syntax and I want to retrieve as many as possible *.R extension files from GitHub. I couldn't figure it out myself at the GitHub's API tool nor with custom ...
1
vote
1answer
124 views

Adding a description to GitHub repo

My boss set up a repo in our shared GitHub and I want to add a description, but there is no edit button to do so: I am the only contributor so I want to add one to make it easier to find. How can I ...
1
vote
0answers
40 views

GitHub - how to get repo commit updates in the dashboard feed without issues/PRs notifications?

If I want to see commit updates of a certain repo in my GitHub Dashboard feed, I can 'follow' the repo. But then I will also get email updates and Github notifications of issues and pull requests (...
1
vote
0answers
8 views

When I merge 2 github accs(private and prof), do I retain the permissions and contributions from the private repositories of my organisation?

I am currently contributing to my work private repo via my professional github account. If I merge my professional account to my personal account, deleting my professional github account, will the ...
0
votes
0answers
19 views

How does IFTTT know when an external event has happened?

I want to put together a simple tool to sync some documents with GitHub issues. I can do this using APIs on a timer say hourly. I notice IFTTT has GitHub support like "when a new issue is raised..." ...
1
vote
1answer
23 views

Can I view a specific commit to the gh-pages branch on github.io?

Say I have a site at myname.github.io/repository.html Can I view that page using a specific commit to that repository? For example, myname.github.io/repository.html?commit=397cb59 or something ...
1
vote
2answers
199 views

Disable notifications from GitHub bots

Some of the GitHub repositories I'm watching use automated bots that make lots of trivial pull requests. Is there a way to disable all notifications from these bots (I think they are GitHub apps)? ...
2
votes
1answer
84 views

What language tag do I use in GitHub Flavored Markdown for a .gitignore code block/excerpt?

I have a README.md in a repository on GitHub that shows a code block of an example .gitignore. I know that one can mark a code block with a language tag in GitHub Flavored Markdown (GFM). For example, ...
3
votes
1answer
171 views

Search label by first characters on GitHub

I'm on GitHub. I can search like this: https://github.com/jenstornell/kirby-plugins/issues?q=is%3Aissue+is%3Aopen+label%3A%22Type%3A+Plugin%22 The query looks like this: is:issue is:open label:"...
10
votes
1answer
2k views

Caching assets in website served from GitHub pages

The server for GitHub pages (including mine) sets CacheControl: max-age=600. It means the cache is set to last only for ten minutes, which is undesirable. Is it possible to control this value and to ...
1
vote
0answers
57 views

Is it possible to conditionally trigger a Github -> Slack push event webhook?

I'd like to setup a Github -> Slack webhook, so that when a commit with a certain message is pushed to a given branch on the Github repository, a message is posted to a Slack channel. I've checked ...