Closed nacatl closed 6 years ago
Sorry...I committed deferent user name... At first I clean up it.
You can change user by changing Git email git config
git config ... git reset --hard 7ea51ff git checkout 0e0dbb5 . git commit -m "Separate parameter related previous session from Prefs" 3 more commits And you can force push git push -f origin save-last-session-scroll
Thank you very much!!! I couldn't change before 2 commits, I try that commands!!!
Btw, I'd love to recommend the following way because this doesn't need hard reset. You can abort this processing by rebase --abort if you want.
git rebase -i 7ea51ff
# then, replace `pick` with `e`
git commit --amend --author="your_name <your_email>"
git rebase --continue
git commit --amend --author="your_name <your_email>"
git rebase --continue
git commit --amend --author="your_name <your_email>"
git rebase --continue
I can say only "thank you"... 🙇
Succeeded!! @takahirom @jmatsu Very thank you!!!
LGTM 👍 Thank you for difficult challenge 💯
Thank you for your reveiws and advices!!
Issue
Overview (Required)
Prefs.initPreviousSessionPrefs()
to finishing restore scroll position.Links
Screenshot