GitHub Community

Hi Github team, i just received wrong archievement here. My pull has been closed and not merged by openzeppelin team but i got this achievement, please fix it, thanks :)

I'm seeing a couple of new achievements in my profile. They are:

• 'YOLO': seemingly for merging pull requests without reviews
• 'Pull Shark': for having opened pull requests that have since been merged.

I think there's a problem with the repos counter cause I'm pretty sure I have 31 repos not 38.

Today we're launching Achievements as a public beta! ✨

Achievements celebrate specific events and actions that happen on GitHub. They will appear as small badges listed in the sidebar of your profi…

I followed those steps on https://github.com/github/copilot-docs/blob/main/docs/jetbrains/gettingstarted.md#getting-started-with-github-copilot-in-jetbrains Login to GitHub Copilot using the device…

Hi.

My repo says there are 8 forks.
https://github.com/tenzap/exif-thumbnail-adder

But when I go to insights/forks, only 5 are listed.
Anything wrong?

Why was the educator discount application submission not approved?

As title, how to solve it ?

Hi! I'm thrilled that GitHub supports Mathjax syntax to render LaTeX expressions. However, I just tried to insert equations in a Kanban board (in the projects of one of my repos), and it doesn't lo…

So, here's a super weird thing that I started seeing. People are forking (sometimes not even through GitHub ui, so I find the project through exploring tags) and renaming projects that have many br…