[sr #110641] Push no longer works

[Corwin Brust]

Follow-up Comment #1, sr #110641 (project administration):

Hi Ole,

[comment #0 original submission:]
> I can no longer push to the GNU Parallel git repository because some draft
code mistakenly was pushed.

Can you provide a little more detail here?  Are you meaning that there is a
technical issue with the repository, or only that code was unintentionally
pushed _into_ the repository?

> 
> Can you roll back the repository to:
        61d58288aae62c700f2ef9ad38425ef87f8aee74

If the latter is the case, you (or anyone with push access) can likely resolve
this yourself, perhaps using the --force option when using get push.

You can find more information on --force and other git options on this page. 
https://git-scm.com/docs/git-push

If, instead, there is a technical issue with the hosting of the repository (vs
with the code committed to it) can you please supply additional detail about
the errors you are encountering and what you think may be going wrong?

Kind regards,
Corwin


    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/support/?110641>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/