https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository#determining-the-location-of-your-license
==== QUOTE
Most people place their license text in a file named LICENSE.txt
(or LICENSE.md or LICENSE.rst) in the root of the repository;
==== END QUOTE
So please do the rename, this way the old license file is
not touched -- everybody is happy.
- Qian
On 12/1/23 09:01, Waldek Hebisch wrote:
On Fri, Dec 01, 2023 at 07:59:09AM +0800, Qian Yun wrote:
On 12/1/23 07:44, Qian Yun wrote:
If so, let's rename "LICENSE" to "LICENCE" then.
Or rename to "LICENSE.txt".
If Github recognizes "LICENSE.txt", then we can do this.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/5b8a33f8-097a-4274-bf7c-cff1d6415be6%40gmail.com.
