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
1
vote
1answer
6 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?
359
votes
5answers
180k views

Strikethrough with GitHub Markdown

Using HTML tags is supposed to work with GitHub Markdown but, in particular, <s>text</s> is not working for me. It used to work on the now deprecated live preview page, but not on preview ...
1
vote
1answer
20 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 ...
45
votes
2answers
9k views

Where can I see all my comments on issues on GitHub?

Where can I see all the comments I wrote on issues on the GitHub website? https://github.com/issues only list the issues I have opened, and not the issues I have commented on.
1
vote
0answers
9 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
9 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
5 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 ...
1
vote
2answers
50 views

Blogging on Medium but retain versions

Is there a way I can write blogs on Medium but still have those version maintained on GitHub? Or write them on Jekyll GitHub pages and have them post to Medium? Basically version control your Medium ...
12
votes
2answers
2k views

Stop being auto-subscribed to GitHub repositories from an organisation

I’ve been joined to a GitHub “organisation” for some things I do at the day job occasionally (administrative and Debian packaging things). I’m not normally involved in the development of the stuff ...
5
votes
4answers
5k views

How to switch to GitHub mobile website?

While browsing GitHub from Safari on iOS, I've occasionally switched to desktop version of the website. Now I couldn't find way to switch back to mobile version. Even when opening GitHub in Safari ...
0
votes
0answers
13 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, ...
7
votes
3answers
9k views

Count of number of users who have downloaded/viewed a GitHub repo

Is there a way within GitHub to see at the very least the overall number of users who have either seen or downloaded a repository?
16
votes
5answers
5k views

Force GitHub syntax highlighting language on source files

I have some C++ source files in a GitHub repository which have an extension of .C and are using C syntax highlighting, which I don't want. How can I set GitHub to apply C++ syntax highlighting to ...
14
votes
2answers
5k views

Will a private GitHub repository always stay private?

To create a private GitHub repository, you either have to pay for a subscription or (if you are a student) get a free student developer pack. Will your private GitHub repositories remain private ...
2
votes
1answer
667 views

How to remove or hide other contributors in my GitHub

I am new to GitHub. I have recently created a git repo and committed few of my code in GitHub. After few of my commits I see different names are visible in my contributors list. That may be because ...
12
votes
3answers
7k views

Can I add an image as a logo of a GitHub repository?

I'm posting a link to a GitHub repo on Google+ and then it's giving me the GitHub logo. I would like to add logos to my GitHub repositories. Is that possible? If that's not directly possible I will ...
1
vote
1answer
202 views

Automatic pull request labels and release comments?

I would like to have PR's labelled with released / not-yet-released, based on, whether there exists any release, where PR is merged. Also, when a release is created, then a comment to PR would be ...
0
votes
1answer
17 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 ...
26
votes
2answers
9k views

Analytics on GitHub pages

Does GitHub provide some (native) way to track visitors on some hosted page (pages at *.github.io/project)? I know we can see traffic on GitHub repositories and I thought there would be some similar ...
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
13 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 ...
8
votes
1answer
709 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 ...
123
votes
6answers
63k 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?
8
votes
1answer
1k views

Is there a way to add new GitHub repositories automatically to a team?

Say I have an organization on GitHub called ORG and a team comprising of all members in the org called TEAM_ORG. I would like any number of repositories that I ever create under the ORG GitHub ...
12
votes
3answers
4k views

GitHub profiles no longer show programming language statistics

I used to see beneath my GitHub profile (along with my current location and URL) a list of the languages I program in, based on what data was in my public repositories. Did this recently disappear? ...
-1
votes
2answers
91 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 ...
16
votes
4answers
95k views

Can I delete my public GitHub repository?

I have a Git repository hosted publicly on GitHub that I would like to delete. How can I do this?
0
votes
0answers
5 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
75 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 ...
0
votes
0answers
11 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
25 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?
3
votes
1answer
80 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'...
3
votes
1answer
74 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 ...
57
votes
8answers
49k views

Any way to contact a user on GitHub?

I'd like to contact a developer on GitHub to see how I can help out, etc. I don't see the option anywhere.
1
vote
4answers
54 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?
3
votes
1answer
538 views

If I am added as a collaborator to a GitHub repository, how can I get it to show on my profile?

I was added as a collaborator to a GitHub repository. I received an email about it and everything, but it doesn't appear on my "Repositories" list when I go to my profile. Is there a reason for this ...
2
votes
1answer
136 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 ...
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?
2
votes
1answer
60 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 ...
2
votes
1answer
67 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, ...
0
votes
0answers
28 views

Can I Add Login Functionality To GitHub Pages To Avoid Spam On My Future Meme-sharing Website?

I would appreciate some help with a project I am making, a meme sharing website. I quickly ran into a few issues while designing it and one is a login function with a dedicated profile page and an ...
41
votes
8answers
16k views

How do I find the date of the first commit in a GitHub repository?

Given a GitHub repository, how can I quickly find the date of its first commit? I often want to know how old the project is, but I cannot find a quick way to get to the start of the commit histories ...
1
vote
1answer
32 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 ...
0
votes
0answers
6 views

GitHub Directory and File Limit [duplicate]

Is there a limit on how many directories and files you can have in a GitHub repository or is it limited by bits/bytes?
1
vote
1answer
33 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 ...
4
votes
4answers
764 views

Switch between accounts in GitHub

I have a personal and professional Gmail account. Switching between then is easy - clicking on my name in the upper-right corner opens a switching menu: I have two GitHub accounts as well, each ...
0
votes
0answers
13 views

How to find the computer used to commit to GitHub?

Is it possible to know which computer was used to make a commit on GitHub? We've got multiple computers and would like to find out what majority of the computers were used to contribute to the ...
1
vote
0answers
28 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 ...