-
-
Notifications
You must be signed in to change notification settings - Fork 4.2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
git-cp: add page #5947
git-cp: add page #5947
Conversation
The build for this PR failed with the following error(s):
Please fix the error(s) and push again. |
The build for this PR failed with the following error(s):
Please fix the error(s) and push again. |
The build for this PR failed with the following error(s):
Please fix the error(s) and push again. |
Co-authored-by: Patrice Denis <[email protected]>
Thank a lot @CleanMachine1 for your contribution I linked to the #3953 issue just before realizing that it's not inside. I installed git-extras from a Ubuntu distro and didn't find the command either. Where can I find it? |
you have to run, sudo git-extras update I had the same issue |
That's right. Thanks Note that it's strange because with this |
hhh, sorry Patrice, pressed your name as well. |
I could have done it either ^^ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I like to clarify that commands can take file paths, rather than just file names. I'd prefer to use file
when, for whatever reason, a command can only take a file name, without any directories.
Co-authored-by: bl-ue <[email protected]>
Co-authored-by: bl-ue <[email protected]>
Co-authored-by: bl-ue <[email protected]>
@navarroaxel could you review? |
was just about to ask to push, thanks |
4 approvals! I love all of the collaborators we're getting! Y'all'll be really useful during Hacktoberfast 😬 ❤️ |
Soon i'll be one! |
It is really cool to run the, I find it cool that probably 10k or probably more can use our work Do we have a demographic on how many users there are? |
I know, it's really fun!
10k? Why not 32.7k!!
Not that I know of, as I have been lamenting since my day 1. @qpwo recently opened an issue asking about anonymous analytics (personally I'd love that❗), and there's been discussions in the past (search the issues for Mixpanel) but not much other than that that I know of... https://star-history.t9t.io/#tldr-pages/tldr shows the star trend, at least. |
Why not 32k? Because I feel most just star things in recommended, just like I did however I looked into this project since it was my interest |
Yeah, you're probably right.
Good thing you did! 😉 |
common/
,linux/
, etc.)For #5137