On Mon, 2018-07-23 at 11:23 -0400, Adam Jackson wrote:
> Nobody did, so, this is done now.
>
> My earlier assertion about the git url not being changed is only true
> for pulls. For pushes, you will indeed need to update the remote to the
> new URL:
>
> $ git remote set-url origin
On Mon, 2018-07-09 at 14:30 -0400, Adam Jackson wrote:
> Currently the xorg group in gitlab is derived from the pre-existing
> freedesktop LDAP group. This is a bit excessive, there's over 250
> people in the group in total and not even a fifth of those are
> regularly active. If you're both a
From: vm
---
rules/base.extras.xml.in | 9
symbols/ch | 46
2 files changed, 55 insertions(+)
diff --git a/rules/base.extras.xml.in b/rules/base.extras.xml.in
index fe2bd05..8a85ff6 100644
--- a/rules/base.extras.xml.in
+++
