On 6/21/20 7:48 PM, Samuel Bernardo wrote:
> Hi,
>
> I need to add a commit to a gentoo pull request that I had opened before.
>
> https://github.com/samuelbernardo/gentoo
>
> Is it possible to add the commit to that pull request or I need to open
> a new pull request?
>
> I already try to get
* Toralf Förster:
> On 6/21/20 6:48 PM, Samuel Bernardo wrote:
>
>> Is it possible to add the commit to that pull request or I need to
>> open a new pull request?
>
> yes
Answering a colloquial "A or B" as a logical disjunction "A ∨ B"...
Now that's just teasing. :-)
-Ralph
On 6/21/20 6:49 PM, Toralf Förster wrote:
> On 6/21/20 6:48 PM, Samuel Bernardo wrote:
>> Is it possible to add the commit to that pull request or I need to open
>> a new pull request?
> yes
>
, you can add additional material to the same commit. It will be
automatically handled by GitHub (and
On 6/21/20 6:48 PM, Samuel Bernardo wrote:
> Is it possible to add the commit to that pull request or I need to open
> a new pull request?
yes
> I already try to get help in gentoo-dev channel but I haven't voice there...
ask in #git :-)
--
Toralf
PGP 23217DA7 9B888F45
signature.asc
