From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-1.mimecast.com (us-smtp-1.mimecast.com [207.211.31.120]) by mx.groups.io with SMTP id smtpd.web11.157.1587380942694736953 for ; Mon, 20 Apr 2020 04:09:03 -0700 Authentication-Results: mx.groups.io; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=ezaS0p8Z; spf=pass (domain: redhat.com, ip: 207.211.31.120, mailfrom: lersek@redhat.com) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1587380941; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=VHBniGQ9v25hKL/iQishAoisdsswsyTEwj45waAS1aI=; b=ezaS0p8Z/F4XtzEk6XMk1HkJehOyFuxW0VoNvOVMI0p9Th/VXD++7ET3II++TdX8qamHxs mVYNM9V7+n/hpHAV1N/gHA+WfOQKusN1SV9FgnxJup/bgA8NIsIOOI9punywELrwxg/FIp cBn6JyKa17sx239sEp6DnuT7WzsgFJA= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-265-BKdP-0naNSq3uNeDcgcA3g-1; Mon, 20 Apr 2020 07:08:57 -0400 X-MC-Unique: BKdP-0naNSq3uNeDcgcA3g-1 Received: from smtp.corp.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id CE89F801A00; Mon, 20 Apr 2020 11:08:55 +0000 (UTC) Received: from lacos-laptop-7.usersys.redhat.com (ovpn-114-228.ams2.redhat.com [10.36.114.228]) by smtp.corp.redhat.com (Postfix) with ESMTP id A561360C63; Mon, 20 Apr 2020 11:08:54 +0000 (UTC) Subject: Re: [edk2-devel] [PATCH v1 2/6] ArmVirtPkg: Add Platform CI and configuration for Core CI To: Rebecca Cran , devel@edk2.groups.io, sean.brogan@microsoft.com Cc: Ard Biesheuvel , "Kinney, Michael D" References: From: "Laszlo Ersek" Message-ID: <1b7e2ee9-575a-ead5-f2e6-4b363e2e4ea8@redhat.com> Date: Mon, 20 Apr 2020 13:08:53 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: X-Scanned-By: MIMEDefang 2.79 on 10.5.11.12 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Language: en-US Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit On 04/19/20 22:56, Rebecca Cran wrote: > Where are those pages linked from (i.e. how would people find them)? I've used the following three methods to find content in the wiki: (1) web search (2) if you open and click on the "Pages" box to the right, you get a small search field. (3) grep a local clone of the wiki. Not implying that these are convenient or efficient. Thanks Laszlo