I have a pull request with the following name pr/amazing-pull-request. I followed this tutorial but I'm only able to change the amazing-pull-request part of the name. It seems that GitHub doesn't allow me to change the full name.
Is there a way around to be able to change the full name?
Related
Removing the custom domain name listed under [Repo name > Settings > Code and Automation > Pages] and then pressing spacebar to enable the "save" button.
There is no Cname file in my repository anywhere.
Removed the browser cache for all time but did not work.
I want this repository to have the domain name in the default github format, ie:username.github.io/reponame. Currently, it has the domain name of awaisalam.me which doesn't work itself (a whole me dabbling into free, manual-domain-setup thing, not knowing anything about SSL, Records etc .. I just want to remove this domain name and get the default github one back)
Please find the screenshot's links attached.
Screenshot of the github custom domain field:
Custom Domain Name's DNS details:
I have created a github repo and deployed a simple HTML, CSS and JS website on it.
I want to create a github bot to automatically filter the pull request on the following basis:
If only the JS file is changed then the pull request is valid else it is invalid
Is it really possible to do that?
Thanks a lot for your help 😊
You could use a GitHub Action for that.
For instance, banyan/auto-label applies label based on file type.
In your case, fork that repository, and make your own GitHub Action in order to reject the PR if you detect a file whose extension is not the one set in your action.
A rejection ("mergeability of PR") can involve status check policy.
I made a GitHub account. Ex: github.com/username
I made a repository (for a website) Ex: github.com/username/website
I'm new to GitHub, and initially, I thought the public access link to the website must http://website.github.io, but that doesn't work! All I'm getting is 404 no matter what I try.
I've tried the following examples:
username.github.io
username.github.io/username
username.github.io/website
username.github.io
website.github.io/website
username.github.com/website
but nothing works.
Finally, after an hour's worth of stumbling around, I realized that I would have to change my website's name to https://github.com/username/username so that http://username.github.io will work as the public link, Which I, obviously, don't want. I want http://website.github.io ideally or at least http://username.github.io/website
So, how do I make it work? How do my visitors access my website? Is it even possible to have it my way? If not, then do I have to make a new account for every new project? Won't that just defeat the purpose of a GitHub account?
So, how do I make it work?
https://username.github.io/projectname works for me, where username is of course my user name and projectname is the name of the repository. HTTP would probably be fine, but I checked the box to require HTTPS.
I want http://mywebsite1.github.io ideally
There's a "custom domain name" setting that purports to let you use your own domain, so you could something like http://myproject.mywebsite1.com/.
or at least http://UserName.github.io/mywebsite1
If mywebsite1 is the name of your project, you should be good to go -- that's the same format that worked for me above, except you're allowing http instead of just https.
Am I missing something crucial due to my day-0 newness on github?
It's possible that you've missed a step, or that you've restricted access to the project. It might help to go back to basics: forget everything you think you know and just follow their guide.
To create a website using GitHub pages you need to create an index.html file into any repository (No matter what name your repository is).
Then you need to publish your repository to be able to have your website.
First, go to your repository
Then go to Settings tab
Scroll down until you reach GitHub Pages
Then in source, you need to select your branch, in your case master branch
Then click on save and you are ready to go!!
Your repository will be online at http://username.github.io/yourRepoName
If your repository name is username.github.io your website will be live at http://username.github.io
Also, you need to know that you can only public static websites.
Understand GitHub Pages reading this.
I am trying to figure out how to setup github pages for account rather than for a repository.
E.g
I want the blog address to be like this:
xxx.github.io rather than xxx.github.io/repo. Therefore when i go to xxx.github.iothe static markdown pages should appear rather than a 404 page.
Thanks.
You're looking for Pages' user / organization sites. The official site has a good getting started guide, but the first bit is the most important one:
Create a repository
Head over to GitHub and create a new repository named username.github.io, where username is your username (or organization name) on GitHub.
If the first part of the repository doesn’t exactly match your username, it won’t work, so make sure to get it right.
So, instead of creating a gh-pages branch as you would for a project site, you must create a repository that matches your user name.
Is there some way to get an RSS feed for one's github stars list?
I want to get it into Pinboard via IFTTT.
The current answer here gives the stars as JSON rather than RSS. Here's how I get my GitHub stars through the IFTTT RSS service:
Use the "New feed item matches" trigger
Enter your GitHub user RSS feed:
https://github.com/csu.atom
Set the "Keyword or simple phrase" that IFTTT will use to match items to:
[your username] starred
For example, my filter is set to csu starred (the word "starred" alone would probably work, but then the trigger might also fire on some false positives, like if a repository name or something else includes the word "starred").
Add whatever action you want to happen whenever this trigger fires. The link to the starred repository is in the {{EntryUrl}} variable and the title is in {{EntryTitle}}.
Your Github stars are available in JSON at a URL like this: https://api.github.com/users/username/starred (sub in your own username of course)
I found this Yahoo! Pipes thing to turn your stars into an RSS feed.
The Yahoo Pipes service has shut down, and IFTTT apparently dropped the stars trigger from their Github channel. So I went and created the same thing in my own Huginn instance, using a Website Agent and a Post Agent.
IFTTT now has this option. All you have to do is create a recipe.
Just put the "New Starred Repository" for THIS. And then do the appropriate steps for Pinboard for THAT.
EDIT
So apparently it might not work anymore, maybe, however on browsing the recipies I found this, which probably does work so try it, just remember to edit it for your github username
I've combined the SiftRSS service (https://siftrss.com/) with https://github.com/username.atom activity feed the OP mentioned. On SiftRSS I filter the activity feed with a /\bstarred\s\w+\/\w+/ regex on the title attribute. Works flawlessly but is dependend on a third party service, if one needs to self-host, I would also recommend using Huginn as #larcher already mentioned.