ok: Fluido skin switch and edit button added to PR https://github.com/apache/httpcomponents-website/pull/9
regards, Hervé Le mardi 2 février 2021, 10:52:59 CET Oleg Kalnichevski a écrit : > On Tue, 2021-02-02 at 10:12 +0100, Michael Osipov wrote: > > Am 2021-02-02 um 09:55 schrieb Oleg Kalnichevski: > > > On Tue, 2021-02-02 at 08:32 +0100, Hervé BOUTEMY wrote: > > > > Le dimanche 31 janvier 2021, 10:03:44 CET Oleg Kalnichevski a > > > > > > > > écrit : > > > > > > One useful thing that we can do is adding "edit" icon like we > > > > > > have on > > > > > > the > > > > > > Maven website, the little icon in breadcrumb: > > > > > > https://maven.apache.org/ > > > > > > This would ease finding the source file from a page, then > > > > > > edit > > > > > > easily > > > > > > in Github > > > > > > (eventually forking to create a PR). From Maven experience, > > > > > > it > > > > > > eases > > > > > > things a > > > > > > lot both for contributors (who don't know details), but even > > > > > > for > > > > > > seasoned > > > > > > developers, who know, but find it cumbersome to find the > > > > > > source. > > > > > > WDYT? > > > > > > > > > > Yes, that would be great. > > > > > > > > I will need to update > > > > https://svn.apache.org/viewvc/httpcomponents/maven-skin/trunk/ > > > > > > > > Do you want to do it on Subversion, or do you prefer to switch to > > > > Git > > > > first? > > > > > > Yes, please. Switching it to Git would great. > > > > I have raised the question about our skin some time ago. The > > concensus > > was to drop it altogether and use Fluido at most with a few CSS > > modifications. > > > > Does my memory serve me well? > > It does. Sorry for causing the confusion. > > Oleg > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [email protected] > > For additional commands, e-mail: [email protected] > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
