[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20171108-12-g40f0179
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "The official devtools repository".
The branch, master has been updated
discards 6da90b2028da0bc504be7ff60873dd2719818a1e (commit)
via 40f0179a5e74d6d3babbefdeae21fd374be0e090 (commit)
via ffb5003fdacaece3540ba167f7e965a122133af0 (commit)
This update added new revisions after undoing existing revisions. That is
to say, the old revision is not a strict subset of the new revision. This
situation occurs when you --force push a change and generate a repository
containing something like this:
* -- * -- B -- O -- O -- O (6da90b2028da0bc504be7ff60873dd2719818a1e)
\
N -- N -- N (40f0179a5e74d6d3babbefdeae21fd374be0e090)
When this happens we assume that you've already had alert emails for all
of the O revisions, and so we here report only the revisions in the N
branch from the common base, B.
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 40f0179a5e74d6d3babbefdeae21fd374be0e090
Author: Eli Schwartz
participants (1)
-
Bartłomiej Piotrowski