On Sat, Feb 02, 2019 at 01:33:22PM +0100, Jakub Narebski wrote:
> I have noticed a little 'recording' indicator; would recorded session
> (video or audio only) be made available at some point in time? Did
> anyone take minutes, or take notes (for example of the Summit agenda
> created at the star
Hi Jakub,
On Sat, Feb 2, 2019 at 4:39 AM Jakub Narebski wrote:
> I have noticed a little 'recording' indicator; would recorded session
> (video or audio only) be made available at some point in time? Did
> anyone take minutes, or take notes (for example of the Summit agenda
> created at the star
Jeff King writes:
> On Tue, Jan 22, 2019 at 02:50:27AM -0500, Jeff King wrote:
>
>> If you're not coming, you can probably stop reading this message now.
>> The rest is all logistics.
>
> Here are a few additional last-minute logistics:
>
>> For people who want to try to join remotely, I don't th
On Thu, Jan 31, 2019 at 3:02 AM SZEDER Gábor wrote:
>
> I think we should remove most (all?) CI-related microprojects.
Yeah, I agree that they don't make sense anymore.
> Ok, after suggesting the removal of five microproject ideas, here is a
> suggestion for a new one:
>
> Find a test script t
On Tue, Jan 22, 2019 at 10:17:59AM +0100, Christian Couder wrote:
> - microprojects idea for interested students (like
> https://git.github.io/SoC-2018-Microprojects/)
> Suggestions for microprojects or project ideas are welcome! Volunteers
> for mentoring or org admin are welcome too!
I think we
On Thu, Jan 31, 2019 at 12:05 AM Philip Oakley wrote:
>
> On 30/01/2019 20:57, Ævar Arnfjörð Bjarmason wrote:
> >
> > * "Big repos". We had discussions about this in years past. It's a very
> >spawly and vague topic. Do we mean big history, big blobs, big (in
> >size/depth/width) checkouts
On Tue, Jan 22, 2019 at 02:50:27AM -0500, Jeff King wrote:
> If you're not coming, you can probably stop reading this message now.
> The rest is all logistics.
Here are a few additional last-minute logistics:
> For people who want to try to join remotely, I don't think we're going
> to have a pa
On 30/01/2019 20:57, Ævar Arnfjörð Bjarmason wrote:
On Tue, Jan 22 2019, Jeff King wrote:
There's no set agenda; we'll decide what to discuss that day. But if
anybody would like to mention topics they are interested in (whether you
want to present on them, or just have an open discussion), plea
On 1/30/2019 3:57 PM, Ævar Arnfjörð Bjarmason wrote:
On Tue, Jan 22 2019, Jeff King wrote:
...
* "Structured remote logging". We had an RFC spec for turning our trace
format into something more structural with a way to send it to a
remote server. There were both implementation & priv
On Tue, Jan 22 2019, Jeff King wrote:
> There's no set agenda; we'll decide what to discuss that day. But if
> anybody would like to mention topics they are interested in (whether you
> want to present on them, or just have an open discussion), please do so
> here. A little advance notice can he
I was hoping to attend the contributors' summit remotely, but now my leave is
starting before then. This email contains a summary of what I would have
added to the discussion.
Thanks,
-Stolee
Commit-Graph Status Report
==
I'm really happy with the progress in this area,
On Tue, Jan 22 2019, Derrick Stolee wrote:
> On 1/22/2019 2:50 AM, Jeff King wrote:
>> For people who want to try to join remotely, I don't think we're going
>> to have a particularly fancy AV setup. But there should at least be a
>> big screen (which we typically do not really use for presentin
On Tue, Jan 22, 2019 at 10:21:56AM -0800, Stefan Beller wrote:
> > > There's no set agenda; we'll decide what to discuss that day. But if
> > > anybody would like to mention topics they are interested in (whether you
> > > want to present on them, or just have an open discussion), please do so
> >
On Mon, Jan 21, 2019 at 11:52 PM Jeff King wrote:
>
> The Git Merge Contributor Summit is a little over a week away. If you're
> interested in coming but haven't signed up, please do! We have a few
> spaces available still. Details are in the previous announcement:
>
> http://public-inbox.org/gi
On 1/22/2019 2:50 AM, Jeff King wrote:
For people who want to try to join remotely, I don't think we're going
to have a particularly fancy AV setup. But there should at least be a
big screen (which we typically do not really use for presenting), and I
hope we can provide some connectivity. I'll b
On Tue, Jan 22, 2019 at 12:26 AM Jeff King wrote:
>
> On Tue, Jan 22, 2019 at 02:50:27AM -0500, Jeff King wrote:
>
> > There's no set agenda; we'll decide what to discuss that day. But if
> > anybody would like to mention topics they are interested in (whether you
> > want to present on them, or j
On Tue, Jan 22, 2019 at 9:26 AM Jeff King wrote:
>
> On Tue, Jan 22, 2019 at 02:50:27AM -0500, Jeff King wrote:
>
> > There's no set agenda; we'll decide what to discuss that day. But if
> > anybody would like to mention topics they are interested in (whether you
> > want to present on them, or ju
On Tue, Jan 22, 2019 at 02:50:27AM -0500, Jeff King wrote:
> There's no set agenda; we'll decide what to discuss that day. But if
> anybody would like to mention topics they are interested in (whether you
> want to present on them, or just have an open discussion), please do so
> here. A little ad
The Git Merge Contributor Summit is a little over a week away. If you're
interested in coming but haven't signed up, please do! We have a few
spaces available still. Details are in the previous announcement:
http://public-inbox.org/git/20181206094805.ga1...@sigill.intra.peff.net/
There's no set
19 matches
Mail list logo
