-
-
Notifications
You must be signed in to change notification settings - Fork 380
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
De-Github and opensource #6
Conversation
What about the |
I think we could probably leave in the user |
Yeah that one is really valuable. I'd hate to not have it when adding this to another project. Right now it verifies that the user actually exists though, which prevents some annoying false positives in a lot of cases. I guess as the number of users go up toward infinity this will be less useful :) |
git-fu question: If I've already filter-branch rm'ed the @defunkt I already removed |
@jch:
One of git's most useful commands, hidden behind a totally different type of operation. This doesn't change your branch. It stages the version of This was the last step I took on the history branch by the way. Once all history was imported, I checked out the version of all files from master and committed so the trees would be identical even though the history was totally different. |
This is also why it's so fucking nice to have all that history even if its not part of the tip commit. You can trivially restore any previous file in an instant. |
@rtomayko : Indeed. Also, it makes perfect sense that it's part of the |
@jch Ah cool. I just noticed your If you don't want it to be master, please make a pull request. Internally at GitHub we use pull requests to track the life of a branch and regularly open them before the branch is ready to be merged. |
So I had a PR open with that branch, but I closed it because it On Mon, Sep 24, 2012 at 4:18 PM, Chris Wanstrath
-Jerry |
Don't worry about that. People can unsubscribe. :) |
@jch Ah yeah, makes sense, but spam away! |
Give 'em the full stream. Knowing is half the battle. |
hey @jch can we merge this into master? |
Force pushed into master. On Wed, Sep 26, 2012 at 3:42 PM, Chris Wanstrath
-Jerry |
I created a pull-request for #4, but realized that this branch has to be force pushed into master because of history changes. I've removed GitHub specific filters, and the tests are passing.
cc: @github/dotcom