Skip to content

Conversation

@KorayUlusan
Copy link
Contributor

Presumably a typo.

git doesn't have a filter-repo option. However git-filter-repo is a program (as linked in the docs).

Why:

explained.

What's being changed (if available, include any code snippets, screenshots, or gifs):

Check off the following:

  • I have reviewed my changes in staging (look for the "Automatically generated comment" and click the links in the "Preview" column to view your latest changes).
  • For content changes, I have completed the self-review checklist.

Presumably a typo. 

`git` doesn't have a `filter-repo` option. However `git-filter-repo` is a program (as linked in the docs).
@welcome
Copy link

welcome bot commented Nov 16, 2022

Thanks for opening this pull request! A GitHub docs team member should be by to give feedback soon. In the meantime, please check out the contributing guidelines.

@github-actions github-actions bot added the triage Do not begin working on this issue until triaged by the team label Nov 16, 2022
@github-actions
Copy link
Contributor

github-actions bot commented Nov 16, 2022

Automatically generated comment ℹ️

This comment is automatically generated and will be overwritten every time changes are committed to this branch.

The table contains an overview of files in the content directory that have been changed in this pull request. It's provided to make it easy to review your changes on the staging site. Please note that changes to the data directory will not show up in this table.


Content directory changes

You may find it useful to copy this table into the pull request summary. There you can edit it to share links to important articles or changes and to give a high-level overview of how the changes in your pull request support the overall goals of the pull request.

Source Preview Production What Changed
get-started/using-git/splitting-a-subfolder-out-into-a-new-repository.md fpt
ghec
ghes@ 3.7 3.6 3.5 3.4 3.3
ghae
fpt
ghec
ghes@ 3.7 3.6 3.5 3.4 3.3
ghae

fpt: Free, Pro, Team
ghec: GitHub Enterprise Cloud
ghes: GitHub Enterprise Server
ghae: GitHub AE

@cmwilson21 cmwilson21 added content This issue or pull request belongs to the Docs Content team waiting for review Issue/PR is waiting for a writer's review using git Content related to using git get started Content related to "Getting Started" doc set and removed triage Do not begin working on this issue until triaged by the team labels Nov 17, 2022
@cmwilson21
Copy link
Contributor

@KorayUlusan Thanks so much for opening a PR! I'll get this triaged for review ⚡

@isaacmbrown
Copy link
Contributor

isaacmbrown commented Nov 18, 2022

Hi @KorayUlusan, thanks for taking the time to contribute!

While you're right that git filter-repo isn't a native Git command, it seems to be the correct syntax per the git-filter-repo README: https://github.com/newren/git-filter-repo#solving-this-with-filter-repo, and will presumably work once you have git-filter-repo installed 🙂

But on second thought, rather than closing this PR, let's try and clarify that here.

@isaacmbrown isaacmbrown reopened this Nov 18, 2022
@github-actions github-actions bot added the triage Do not begin working on this issue until triaged by the team label Nov 18, 2022
Copy link
Contributor

@isaacmbrown isaacmbrown left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Applied a suggestion to clear up the confusion

@isaacmbrown isaacmbrown added the ready to merge This pull request is ready to merge label Nov 18, 2022
@cmwilson21 cmwilson21 enabled auto-merge November 18, 2022 20:52
@cmwilson21 cmwilson21 merged commit 43e4e68 into github:main Nov 18, 2022
@github-actions
Copy link
Contributor

Thanks very much for contributing! Your pull request has been merged 🎉 You should see your changes appear on the site in approximately 24 hours. If you're looking for your next contribution, check out our help wanted issues

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

content This issue or pull request belongs to the Docs Content team get started Content related to "Getting Started" doc set ready to merge This pull request is ready to merge triage Do not begin working on this issue until triaged by the team using git Content related to using git waiting for review Issue/PR is waiting for a writer's review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants