mirror of
https://github.com/silvanocerza/github-gitless-sync.git
synced 2026-07-22 12:10:28 +00:00
Clarifies what metadata sha is
This commit is contained in:
parent
7d389f8e0c
commit
28abd1c1cc
1 changed files with 4 additions and 0 deletions
|
|
@ -12,6 +12,10 @@ export interface FileMetadata {
|
|||
// SHA of the file in the remote repository.
|
||||
// This is necessary to update the file remotely.
|
||||
// If this is null the file has not yet been pushed to the remote repository.
|
||||
// This doesn't change when the file is manually edited by the user but only
|
||||
// when uploading or downloading this file.
|
||||
// In short this is the SHA of the remote file at the time of the last sync,
|
||||
// as far as the local environment is aware.
|
||||
sha: string | null;
|
||||
// Whether the file has been modified locally.
|
||||
dirty: boolean;
|
||||
|
|
|
|||
Loading…
Reference in a new issue