Re: Please make a repo for the GNU C Manual

2022-04-23 Thread Richard Stallman
[[[ To any NSA and FBI agents reading my email: please consider]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] Let's call it this name: GNU C Intro and Reference That would do more than just en

Re: [sr #110641] Push no longer works

2022-04-23 Thread Corwin Brust
On Sat, Apr 23, 2022 at 3:30 PM Ole Tange wrote: > > But --force does not work. I think it is because no-fast-forward is enabled on > the server. Can I change that? Ah yes, I had indeed forgotten that. I believe it takes administrative rights to change that setting. This lowly apprentice will a

[sr #110641] Push no longer works

2022-04-23 Thread Ole Tange
Follow-up Comment #2, sr #110641 (project administration): Hi Corwin The latter. But --force does not work. I think it is because no-fast-forward is enabled on the server. Can I change that? (https://savannah.gnu.org/maintenance/UsingGit/ Non-Fast-Forward commits) It would be really nice if yo

[sr #110641] Push no longer works

2022-04-23 Thread 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 issu

[sr #110641] Push no longer works

2022-04-23 Thread Ole Tange
URL: Summary: Push no longer works Project: Savannah Administration Submitted by: tange Submitted on: Sat 23 Apr 2022 01:14:20 PM CEST Category: Source code repositories - deve