mirror of
https://gitlab.postmarketos.org/postmarketOS/pmbootstrap.git
synced 2025-07-13 03:19:47 +03:00
pmb, test: remove redundant commas (MR 2115)
This commit is contained in:
parent
4675def8e6
commit
2d23849aa3
23 changed files with 42 additions and 42 deletions
|
@ -234,7 +234,7 @@ def is_outdated(args, path):
|
|||
# Usually it does not (before first git fetch/pull), but there is no good
|
||||
# fallback. For exampe, getting the _creation_ date of .git/HEAD is non-
|
||||
# trivial with python on linux (https://stackoverflow.com/a/39501288).
|
||||
# Note that we have to assume here, that the user had fetched the "origin"
|
||||
# Note that we have to assume here that the user had fetched the "origin"
|
||||
# repository. If the user fetched another repository, FETCH_HEAD would also
|
||||
# get updated, even though "origin" may be outdated. For pmbootstrap status
|
||||
# it is good enough, because it should help the users that are not doing
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue