Closed wxmerkt closed 4 years ago
In GitLab by @nmansard on Nov 15, 2018, 11:37
Marathon WalkOpt WOPT or WOP
In GitLab by @nmansard on Nov 28, 2018, 10:08
crocoddyl for "contact robot control by differential dynamic programing library"
crocoddyp for "contact robot control by differential dynamic programing"
In GitLab by @cmastalli on Dec 3, 2018, 13:50
crocoddyL ("Contact RObot COntrol by Differential Dynamic programming Library") is a very cool name. I like it. What do you think? @rbudhira
In GitLab by @cmastalli on Dec 7, 2018, 13:02
It seems crocoddyl is a name that everyone like. Maybe we should start to plan a logo. Any contributor?
In GitLab by @cmastalli on Dec 12, 2018, 12:46
mentioned in merge request !33
In GitLab by @nmansard on Dec 19, 2018, 09:36
What have you used for the so-corporate logos up there? We should do the same with a nice crocodyl.
Without the joke: I dont think using a capital in the library name is smart. Let's rename it (again and finally) with crocodyl (no capital L at the end). And close this issue.
In GitLab by @cmastalli on Dec 19, 2018, 13:15
I used a website that generates logo given a set of keywords. Unfortunately it's not possible to generate a logo for crocoddyl. Maybe we should ask someone that is good doing this stuff.
I didn't realize that we're using a capital L (in the Readme file and folder name), I apologize for that mistake. I will fix it!
In GitLab by @cmastalli on Dec 19, 2018, 15:48
assigned to @cmastalli
In GitLab by @cmastalli on Dec 19, 2018, 16:56
mentioned in merge request !37
In GitLab by @cmastalli on Dec 19, 2018, 17:01
I renamed the folder as requested, this was merged in !37. Additionally I opened a new issue for the crocoddyl logo (#40). I will close this taks.
In GitLab by @cmastalli on Dec 19, 2018, 17:01
closed
In GitLab by @nmansard on Dec 19, 2018, 20:37
I see the named has changed. What about the url? we have cddp url still active. Is it a clone / mirror of crocodyL? Are you planning to remove the capital of the url too?
In GitLab by @cmastalli on Dec 19, 2018, 20:39
For some reason that I don't know, I can't change the repository URL. @nim65s do you know what it's going on?
In GitLab by @cmastalli on Dec 19, 2018, 20:41
Yes, I am planning to do it.
If you forked this repository with old name (e.g. cddp), then you have to change your forked URL too. However this is not mandatory for you!
In GitLab by @cmastalli on Dec 19, 2018, 20:41
reopened
In GitLab by @nim65s on Dec 20, 2018, 09:06
@cmastalli I don't understand your issue.
For me, it looks like this page is https://gepgitlab.laas.fr/loco-3d/crocoddyL/issues/22
and if I click on the git clone url on the main page, I get git@gepgitlab.laas.fr:loco-3d/crocoddyL.git
, and I assume both are correct.
In GitLab by @nmansard on Dec 20, 2018, 09:27
I believe that the issue is the capital L at the end of the repo name. I suggested that it was a bad idea to use capital in url, although i might be overconservative here.
In GitLab by @nim65s on Dec 20, 2018, 09:57
Oh, I see, thanks. Fixed :)
In GitLab by @cmastalli on Dec 20, 2018, 13:13
Thanks @nim65s. I will close this issue
In GitLab by @cmastalli on Dec 20, 2018, 13:13
closed
In GitLab by @cmastalli on Nov 15, 2018, 11:26
cddp isn't a good name, it's not fun neither.
I put few keywords and generate the different options. @rbudhira and @nmansard please feel free to have a feedback/opinion.
These are some examples. Please let discuss about it