-
-
Notifications
You must be signed in to change notification settings - Fork 29
Added IBM-EGA fixed pitch font files #868
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
Conversation
|
If you want to access these with, for example |
|
I intended just to fix Matt's PR but wound up picking up some other commits for reasons I don't understand. Help |
nbriggs
left a comment
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.
How did this PR/branch pick up all the other changes?
|
He's asking for a merge from his fork, so you shouldn't be able to write back into it. What did you do? |
|
reconstructing from history... git branch -a git whatchanged fonts git commit -m "move to names that will be recognized" |
|
What does your .git/config look like? I don’t know what “gh pr checkout 868” would have done to your "git status”. I don’t ever use “gh” (can’t on one machine, won’t on the other).
… On Aug 6, 2022, at 3:50 PM, Larry Masinter ***@***.***> wrote:
reconstructing from history...
``
gh pr list
gh pr checkout 868
git checkout larry-work
various messing about
git branch -a
git checkout IBM-EGA-fonts
git whatchanged fonts
cd fonts/displayfonts/c0
git mv ibm14.strike IBM14-MRR-C0.DISPLAYFONT
.... more git mv's
git commit -m "move to names that will be recognized"
git push
—
Reply to this email directly, view it on GitHub <#868 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AB6DAWJQIU6MPSLPPO6MI33VX3T4RANCNFSM55DTTSTQ>.
You are receiving this because you commented.
|
|
superseded by #882 |
No description provided.