[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Latest devel branch push
|
From: |
Eduardo Bustamante |
|
Subject: |
Re: Latest devel branch push |
|
Date: |
Sat, 15 May 2021 09:02:05 -0700 |
On Sat, May 15, 2021 at 4:54 AM Alex fxmbsw7 Ratchev <fxmbsw7@gmail.com> wrote:
>
> may i ask frankly for the git cmd to get it
You can find the instructions on how to clone the repository in the
Savannah portal: https://savannah.gnu.org/git/?group=bash
i.e.
git clone https://git.savannah.gnu.org/git/bash.git