{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":258235401,"defaultBranch":"master","name":"Run-REDUCE","ownerLogin":"fjwright","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-04-23T14:40:45.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59773998?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697991761.0","currentOid":""},"activityList":{"items":[{"before":"dfd505fef2ce10f72dbafd0af4e059da4abbd7d8","after":"a5eee5647677b59fe3c17375a939afda1c625fed","ref":"refs/heads/master","pushedAt":"2023-12-08T17:01:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"First build on Centaur23!\nUpdate build instructions and configuration files.","shortMessageHtmlLink":"First build on Centaur23!"}},{"before":"8a4b36440103e1752dea335d920f4fe2ca59e3e4","after":"dfd505fef2ce10f72dbafd0af4e059da4abbd7d8","ref":"refs/heads/master","pushedAt":"2023-12-05T18:06:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Version 3.1.2\nMove development to new computer Centaur23 with better support for virtual machines.","shortMessageHtmlLink":"Version 3.1.2"}},{"before":"7384db87b7aeba763dbf9c0ae1a5755dbf9d96e1","after":"8a4b36440103e1752dea335d920f4fe2ca59e3e4","ref":"refs/heads/master","pushedAt":"2023-11-06T18:15:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Better code to write external UserGuide file only if it does not exist or is out of date.","shortMessageHtmlLink":"Better code to write external UserGuide file only if it does not exis…"}},{"before":"59b5247df919cef54c5354657d426c3caf32bdff","after":"7384db87b7aeba763dbf9c0ae1a5755dbf9d96e1","ref":"refs/heads/master","pushedAt":"2023-11-06T17:31:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Only write external UserGuide file if it does not exist or is out of date.","shortMessageHtmlLink":"Only write external UserGuide file if it does not exist or is out of …"}},{"before":"ea74c9eee281e1b57dec2d537f052a5444362516","after":"59b5247df919cef54c5354657d426c3caf32bdff","ref":"refs/heads/master","pushedAt":"2023-11-03T17:30:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Correct the View menu defaults to agree with the User Guide.\nAlso delete the now-obsolete file \"UserGuide-to-resources.bat\".","shortMessageHtmlLink":"Correct the View menu defaults to agree with the User Guide."}},{"before":"538177a9ad5f009a01cc85ac41c7a5f03ed6743e","after":"ea74c9eee281e1b57dec2d537f052a5444362516","ref":"refs/heads/master","pushedAt":"2023-11-03T16:52:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"BUILD.md\nDocument copying \"docs/UserGuide.html\" to BUILD.md.","shortMessageHtmlLink":"BUILD.md"}},{"before":"c868f943c9188485a4c169b2fd47bdfdede0ee82","after":"538177a9ad5f009a01cc85ac41c7a5f03ed6743e","ref":"refs/heads/master","pushedAt":"2023-11-02T18:27:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Linux installer\nAdd JVM option \"-Djdk.gtk.version=2\", Run-REDUCE home page URL and some double quotes to Linux installer build script. Remove JAVA_HOME from both installer build scripts, since it seems to be redundant. Add need to copy \"docs/UserGuide.html\" to BUILD.md.","shortMessageHtmlLink":"Linux installer"}},{"before":"9dfd64908b02b4a4d486c02d36d809f73fbf23b5","after":"c868f943c9188485a4c169b2fd47bdfdede0ee82","ref":"refs/heads/master","pushedAt":"2023-10-29T18:43:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Automatically copy the User Guide from docs to resources only if it did not exist or was out of date in resources.","shortMessageHtmlLink":"Automatically copy the User Guide from docs to resources only if it d…"}},{"before":"8d54764ad9814f3ba71087aa9e1c712f8c064a12","after":"9dfd64908b02b4a4d486c02d36d809f73fbf23b5","ref":"refs/heads/master","pushedAt":"2023-10-29T17:12:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Automatically copy the User Guide from docs to resources when building on Windows.\nIntroduce docs/UserGuide-to-resources.bat to perform the copy, registered as an external tool in IntelliJ Idea. Run it before building when running either from (compiled) source files or a JAR. Delete resources/UserGuide.html from git and add it to .gitignore. Do not edit resources/UserGuide.html directly in future!","shortMessageHtmlLink":"Automatically copy the User Guide from docs to resources when buildin…"}},{"before":"98b150fb665937c6f75229e76d44571e30e7b1dd","after":"8d54764ad9814f3ba71087aa9e1c712f8c064a12","ref":"refs/heads/master","pushedAt":"2023-10-28T16:59:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Don't treat running using (compiled) source files directly as a special case for displaying the User Guide.","shortMessageHtmlLink":"Don't treat running using (compiled) source files directly as a speci…"}},{"before":"9d06a05c6d685e9004519aff4f0166c25dc9b042","after":"98b150fb665937c6f75229e76d44571e30e7b1dd","ref":"refs/heads/master","pushedAt":"2023-10-28T16:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Update KaTeX to v0.16.9\nUse .woff font files because .woff2 font files still don't work! Rename \"LICENSE.txt\" to \"LICENSE and UPDATING INFO.txt\" and add a brief summary of how to update KaTeX. Update About text to include KaTeX version.","shortMessageHtmlLink":"Update KaTeX to v0.16.9"}},{"before":"a9af90c817652429c92b1cc9e9e907f613c58d25","after":"9d06a05c6d685e9004519aff4f0166c25dc9b042","ref":"refs/heads/master","pushedAt":"2023-10-27T16:52:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Version 3.1.1\nBuild using Java 17.0.9 and JavaFX 17.0.9 on Windows. (Must stay with WiX 3 because jpackage does not yet support WiX 4!)","shortMessageHtmlLink":"Version 3.1.1"}},{"before":"3bb34cde328d0e887d26cfa63c3d28bc785548a1","after":"a9af90c817652429c92b1cc9e9e907f613c58d25","ref":"refs/heads/master","pushedAt":"2023-10-22T15:47:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Version 3.1\nUpdate build scripts and all documentation.","shortMessageHtmlLink":"Version 3.1"}},{"before":"32bd3b22db92db49f25483aabe7e477ddad7bb8d","after":"3bb34cde328d0e887d26cfa63c3d28bc785548a1","ref":"refs/heads/master","pushedAt":"2023-10-19T15:53:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Write UserGuide.html to ~/Run-REDUCE_User_Guide.html\nwhich the default web browser on Ubuntu 22 can open. Tweak \".gitignore\", mainly to ignore installer output files and standard REDUCE test files.","shortMessageHtmlLink":"Write UserGuide.html to ~/Run-REDUCE_User_Guide.html"}},{"before":"adc0d3ee179e6ad276c91d13817cc99ebc3bd09f","after":"32bd3b22db92db49f25483aabe7e477ddad7bb8d","ref":"refs/heads/master","pushedAt":"2023-10-04T15:33:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fjwright","name":"Francis Wright","path":"/fjwright","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59773998?s=80&v=4"},"commit":{"message":"Update to version 3.0.7.\nWrite User Guide to \"user.home\" instead of \"java.io.tmpdir\" to support Ubuntu. Delete some redundant toString() calls. Use a text block for the About message.","shortMessageHtmlLink":"Update to version 3.0.7."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxXz35QA","startCursor":null,"endCursor":null}},"title":"Activity · fjwright/Run-REDUCE"}