Working with github

satya - 8/20/2020, 11:19:22 AM

My github repos are here

My github repos are here

satya - 8/20/2020, 11:19:36 AM

How to search for a filename in github

How to search for a filename in github

Search for: How to search for a filename in github

satya - 8/20/2020, 11:22:29 AM

Here is documentation on how to find file in a github repo

Here is documentation on how to find file in a github repo

satya - 8/20/2020, 11:23:14 AM

Here is an image of that go to file command

satya - 8/20/2020, 11:23:53 AM

Or simply type while on the repo page: t

Yes. that takes you to the same page as well.

satya - 8/20/2020, 11:25:05 AM

However note I couldn't yet figure out using wild cards fully

1. By default it seem to use every file that has this name in it

2. for example "Utils.java" means "*Utils.java*"

3. Just FYI for now

satya - 8/20/2020, 11:25:40 AM

Broader searching document on github

Broader searching document on github

satya - 9/17/2022, 3:30:20 PM

Kagle repo link


https://github.com/SatyaKomatineni/kagle.git

satya - 9/17/2022, 3:32:17 PM

My notes on cloning that repo are here

My notes on cloning that repo are here

satya - 9/17/2022, 3:41:41 PM

You can rename a repo in github this way


1. Go to the repo on github
2. settings
3. rename

satya - 9/17/2022, 3:59:16 PM

Few personal naming standards

1. Name them xyz-repo

2. Use the -repo for the names

3. This is useful when tools like vscode clones them using that name as a directory name locally

4. Also vscode puts them in a root directory that is shared with other repos

5. For example the "root" could be "c:\some-root\(many repos)"

6. So when vscode asks for a root to clone use "c:\some-root"


/satya/data/code/(all the repos)