Is there a working public mirror of android.git.kernel.org? - android-source

[Sorry for the dumb question. This has got to be a FAQ the past few days, but I can't find anything other than people complaining that the repo is down and to check the news...]
I have been unable to use repo to access http://android.git.kernel.org for a while now; obviously this is due to the attack on kernel.org. Unfortunately, I need to pull down versions of the source tree I do not already have.
I know that at least some of the packages are mirrored on http://github.com/android, but the manifest file needs to edited (to, e.g., replace / with _) and it doesn't appear to have all of them anyway. Surely there's a better way?

https://www.codeaurora.org/gitweb/quic/la/
Source: Access denied to android.git.kernel.org

Google finally has an own mirror online that seems to work:
https://android.googlesource.com
https://source.android.com/source/downloading.html

http://218.211.38.204/
This is Chih-Wei Huang's personal mirror.

Related

Use versions w/ github remote repositories (in this case w/ platformio)

This might be a basic github question, but I'm having trouble finding the right keywords to google because I don't know the terminology. Apologies and thanks in advance.
I've noticed with library dependencies in library.json, under "dependencies", there is often a github remote repo link with a version number after the #
For example
https://github.com/codewitch-honey-crisis/htcw_ili9341.git#1.0.0"
What is that exactly after the #? A branch? A release?
More importantly, how do I make my github repo expose these. Like, I want to make a 1.0.0 one now for htcw_ili9341.git but later I may want to make 1.0.1
Using the github website, and/or the command line, how do I go about this?
It would be really helpful if you explained as you went as well.
So you know where I'm coming from with this, I've been using github for awhile but only for the most basic things, and driving it all through VS Code for the most part, sometimes resorting to the web interface and only occasionally dropping to the command line, which I've done a handful of times to resolve merge conflicts. I'm not an expert, but not completely new to it either.
anything after # is never posted to the server. It's basically a comment in this specific instance.

Using github and posting my own play store app

I don't know whether this question should have come in this platform or not but I wanted to ask that let us say I made a github repository which was public. Now another person who has no relation with me downloaded the code, edited it and posted it in play store. I found out that this app which is in play store was my one of the github repositories with some edit. So should I issue a copyright or something or is it fine I should not do anything?
PS: This hasn't happened with me in real. I was just having fear of my repository being used by other but I guess they are so bad that no one would like to use them. Another thing is that pls don't comment that you should make your repositories private.
Any help will be appreciated.
If you are making you repo public you yourself are permitting others to use it. But to prevent misuse of your code and work there are open source licenses available that you can add to your public repo that will put some restrictions on its usage.
More info can be found here:
https://docs.github.com/en/github/creating-cloning-and-archiving-repositories/licensing-a-repository
https://opensource.guide/legal/

How do I upload small exercises to GitHub?

So basically I am trying to learn C# and JS and I'm doing so by reading documentation and solving some small exercises.
I read somewhere that uploading most of your work to GitHub is helpful when you apply for a job so people can actually see that you've been working.
Since I am not that familiar with GitHub (I read some documentation but it confused me a bit) I wanted to know what is the best way to upload my exercises there?
I think you should do some beginner course about "Git" and "Github".
It's definitely a good idea to use GitHub desktop. This tool makes it easier to manage and commit changes.
The easiest way would be to create a git repository for each of your projects. Put the files in there and upload them to GitHub.
Try looking at GitHub documentation like this to get started:
https://guides.github.com/activities/hello-world/

Is there a way to see a history of who has downloaded code base on Github?

I've looked on github, and googled this, but can't find anything. I'd like to see a history of downloads of code on one of our repositories if that is possible. Thanks.
As far as I know Github currently does not support this - at least not exposed to the general public.
You may want to contacting support to see if they can assist.

Is there a way to give someone access GitHub issues without giving them read access to the source code?

We have a GitHub organization setup with private repositories. We would like to give a few of our beta testers access to add and comment on issue but we don't want to give them access to the source code. Is there a way to do this?
I don't believe this is possible, due to the way issues are directly linked to commits.
See here:
https://help.github.com/articles/issues-only-access-permissions
Indeed you can do what you want to achieve, you just need to have a second repository for that purpose.