development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-09-18 07:32:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #11769 from desktop/cherry-picking-refresh-repository-on-branch-checkout

Browse source 
Refresh after successful checkout during cherry pick
This commit is contained in:
tidy-dev 2021-03-11 06:13:02 -05:00 committed by GitHub
parent 7f7c33c83a 4fc3194e13
commit b714880a46
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
app/src/lib/stores/app-store.ts
View file

@ -5863,6 +5863,8 @@ export class AppStore extends TypedBaseStore<IAppState> {
return result
}
await this._refreshRepository(repository)
const progressCallback = (progress: ICherryPickProgress) => {
this.repositoryStateCache.updateCherryPickState(repository, () => ({
progress,