Shulou(Shulou.com)06/01 Report--

What are the knowledge points of this article "what are the skills for the efficient use of GitHub?" most people do not understand, so the editor summarizes the following, detailed content, clear steps, and has a certain reference value. I hope you can get something after reading this article. Let's take a look at this "what are the skills for efficient use of GitHub?"

Tip 1: use the file finder to quickly and easily search for files in the warehouse

GitHub provides hosting for software development and version control using Git, with thousands of repositories, projects, and files. Therefore, how to efficiently search for files on GitHub is very important. The first trick is to use the shortcuts provided by GitHub in the warehouse to search for files in the warehouse.

As shown in the figure above, on the runtime warehouse page, press the t key on the keyboard and GitHub will activate the file finder. Then you only need to enter the target file name, such as the ServiceProvider.cs file, and the file finder will display the file you want.

Tip 2: use search qualifiers to search for the target you want

Now, suppose you don't know which warehouse the target file is in, or you want to find a user in your organization. You can then use search qualifiers to search for the desired target on any page of GitHub.

As you can see above, we are on the Marketplace page and want to search for ConfigurationBuilder.cs files in the dotnet organization. Then, you only need to enter the search qualifier to indicate this purpose.

Org:dotnet filename:ConfigurationBuilder.cs

GitHub will display the file you want.

Tip 3: enable README on the Github profile page

Yes, it seems that Github not only redesigned GitHub's UI in June, but also added some little secrets. You can get your profile README on the Github profile page. It is your own README file, not the project README file. Interesting!

Enabling it is very easy, you just need to create a new repository with the same user name as your Github account, which is a special repository that you can use to add README.md to your Github configuration file.

Tip 4: add badges to the GitHub repository

Technically, this is not a function provided by GitHub. However, using this tip can make your GitHub repository page more professional and reflect the current state of your project.

Some communities provide developers with their own badges. For example, you can get a build / deployment status badge from Azure DevOps as shown below.

On the other hand, you can get more general badges from some vendors, such as shields.io. Shield.io can read the status of your project and generate the corresponding badge. In addition, you can create your own badge on shield.io.

Then, you just need to copy and paste the markdown link into the README.md file in the GitHub repository.

The above is about the content of this article on "what are the skills for efficient use of GitHub". I believe we all have a certain understanding. I hope the content shared by the editor will be helpful to you. If you want to know more about the relevant knowledge, please follow the industry information channel.

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.