[sr #110667] Recovery email address changed, unable to receive password reset

2022-05-26 Thread Bob Proulx
Update of sr #110667 (project administration): Status:None => Done Assigned to:None => rwp Open/Closed:Open => Closed ___

Re: Please make a repo for the GNU C Manual

2022-05-26 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. ]]] Would you please change that to a git repository? People will mostlu like that better

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Follow-up Comment #11, sr #110659 (project administration): > This is not a php script: > > https://savannah.nongnu.org/js/show-hide.php: No, but this is not a file, either, this is a URL. Plainly speaking, what you quote below is the output of that PHP script (it's even not an object code); pe

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #10, sr #110659 (project administration): [comment #8 comment #8:] > > > One might want to work on savannah, and write a script performing certain actions on all php files assuming they are all php scripts. > > These files _are_ PHP scripts. This is not a php script: https:

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Update of sr #110659 (project administration): Open/Closed:Open => Closed ___ Follow-up Comment #9: > I'm pretty sure computer programs are copyrightable, Some programs are copyrightable,

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Follow-up Comment #8, sr #110659 (project administration): > One might want to work on savannah, and write a script performing certain actions on all php files assuming they are all php scripts. These files _are_ PHP scripts. ___ Reply

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Update of sr #110659 (project administration): Open/Closed: Closed => Open ___ Follow-up Comment #5: > What do you mean that they are not copyrightable? I mean that copyright, as the legal

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #7, sr #110659 (project administration): > I mean that copyright, as the legal system, doesn't apply to them. I'm pretty sure computer programs are copyrightable, otherwise there wouldn't be a free software movement. ___

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #6, sr #110659 (project administration): > Why is it bad? Because it confuses humans, including developers, users and sysadmins. One might want to work on savannah, and write a script performing certain actions on all php files assuming they are all php scripts. Filenames incl

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Yuchen Pei
Follow-up Comment #4, sr #110659 (project administration): > Yes. most of these scripts (probably all) are clearly uncopyrightable. applying licenses to uncopyrightable works is pointless. What do you mean that they are not copyrightable? Are you saying most of these scripts don't have a license

[sr #110659] .php files with javascript code in bug tracker

2022-05-26 Thread Ineiev
Follow-up Comment #3, sr #110659 (project administration): Yes. most of these scripts (probably all) are clearly uncopyrightable. applying licenses to uncopyrightable works is pointless. if the criteria LibreJS uses say that such scripts should be blocked because they have no licenses, then the cr