<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hello,<br>
</p>
<div class="moz-cite-prefix">On 03.07.23 23:58, Joel Sherrill wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAF9ehCU4UU5ReP6EofCQcSrUGFpb-LPf4Z2fHH8hQS_Hb5Otow@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">On Mon, Jul 3, 2023 at 11:29 AM Christian Mauderer
<<a href="mailto:oss@c-mauderer.de" moz-do-not-send="true"
class="moz-txt-link-freetext">oss@c-mauderer.de</a>> wrote:<br>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">Hello Cedric,<br>
<br>
Am 03.07.23 um 08:47 schrieb Cedric Berger:<br>
> Hello,<br>
> <br>
> Two issues here:<br>
> <br>
> 1) When looking at RTEMS on github, it seems everything
stopped being <br>
> updated on March 23.<br>
> > 2) Then going to <a href="https://www.rtems.org"
rel="noreferrer" target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">https://www.rtems.org</a>,
clicking "Git" yield this page:<br>
> <br>
> Trac Error<br>
> Page Developer/Git not found<br>
> <br>
<br>
Sounds like a broken link on the homepage. As a workaround,
you can <br>
reach <a href="https://git.rtems.org" rel="noreferrer"
target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">https://git.rtems.org</a>
directly.<br>
</blockquote>
<div><br>
</div>
<div>It was trying to guide you to what is now in the Users
Guide somewhere </div>
<div>around here (<a
href="https://docs.rtems.org/branches/master/user/start/sources.html"
moz-do-not-send="true" class="moz-txt-link-freetext">https://docs.rtems.org/branches/master/user/start/sources.html</a>)</div>
<div>but also that old content included some of the git
instructions from the Software</div>
<div>Engineering Guide.</div>
<div><br>
</div>
<div>Anyway, I changed it to a direct link to <a
href="http://git.rtems.org" moz-do-not-send="true">git.rtems.org</a>.</div>
</div>
</div>
</blockquote>
<p>Thank you.</p>
<blockquote type="cite"
cite="mid:CAF9ehCU4UU5ReP6EofCQcSrUGFpb-LPf4Z2fHH8hQS_Hb5Otow@mail.gmail.com">
<div dir="ltr">
<div class="gmail_quote">
<div>That doesn't resolve the issue of updating github but
that's a different problem.</div>
</div>
</div>
</blockquote>
<p>Do you think it will be resolved soon, or I should just stop
forking from the github repo?</p>
<p>Cedric</p>
<p><br>
</p>
</body>
</html>