Re: [sage-devel] Server side hook denies push

2020-01-14 Thread Mahathi Vempati
That worked, yes. Thank you! On Tue, Jan 14, 2020 at 4:15 PM Dima Pasechnik wrote: > On Tue, Jan 14, 2020 at 10:31 AM Mahathi Vempati > wrote: > > > > yes, I authenticated with an ssh key. > > Is this an authentication issue? I had assumed there was some issue with > my code that a hook was not

Re: [sage-devel] Server side hook denies push

2020-01-14 Thread Dima Pasechnik
On Tue, Jan 14, 2020 at 10:31 AM Mahathi Vempati wrote: > > yes, I authenticated with an ssh key. > Is this an authentication issue? I had assumed there was some issue with my > code that a hook was not letting pass. It seems that you never had any git branches successfully pushed to trac.sagema

Re: [sage-devel] Server side hook denies push

2020-01-14 Thread Mahathi Vempati
yes, I authenticated with an ssh key. Is this an authentication issue? I had assumed there was some issue with my code that a hook was not letting pass. On Tue, Jan 14, 2020 at 2:44 PM Dima Pasechnik wrote: > > > On Tue, 14 Jan 2020, 08:58 Mahathi Vempati, wrote: > >> So, I committed some code

Re: [sage-devel] Server side hook denies push

2020-01-14 Thread Dima Pasechnik
On Tue, 14 Jan 2020, 08:58 Mahathi Vempati, wrote: > So, I committed some code and was attempting to push it to the sage server > when I got this message. How do I find what hook in remote denied my push > and why it is being denied? > > ``` > remote: FATAL: W > refs/heads/u/Tinkidinki/have_the_s

[sage-devel] Server side hook denies push

2020-01-14 Thread Mahathi Vempati
So, I committed some code and was attempting to push it to the sage server when I got this message. How do I find what hook in remote denied my push and why it is being denied? ``` remote: FATAL: W refs/heads/u/Tinkidinki/have_the_sage_version_number_present_on_every_page_of_the_documentation