Rare project developers

[mc36 <>]

i see that you're having hard time with the regular profiles update... :)
maybe my exceptional commit from yesterday fvcked up your local copy?

btw, you already mentioned that to fully automate this, with the current
source tree, one needs to be extra cautious... so here comes my question:

would it be hard for you to store the optimizations in a different repo?

back in the days frederic and i created one just for this purpose:
https://bitbucket.software.geant.org/projects/RARE/repos/rare-profiles/browse
it's empty now but if we move 
https://bitbucket.software.geant.org/projects/RARE/repos/rare/browse/profiles
there then one can easier automate the whole thing imho without, having to 
care?
thanks,
cs



-------- Forwarded Message --------
Subject:  RARE/RARE - Pull request #8: Profile optimization for RARE version 
$rare_commit
Date:  Thu, 5 Jan 2023 13:39:35 +0100 (CET)
From:  GEANT Bitbucket <>
To:  




Alexander Gall   DELETED the pull request *Profile optimization for RARE 
version $rare_commit*
optimizer_9.7.4_e4200d

     
master



05 January 2023 01:39 PM

To change the type of emails you receive for this repository, review your 
preferences 
<https://bitbucket.software.geant.org/projects/RARE/repos/rare/browse#watch>.
Want to receive fewer emails? Update your notification settings 
<https://bitbucket.software.geant.org/plugins/servlet/notification/settings> 
to turn on batch emails.